New commits: commit 9cf1ddb1ee5af86720359783619f7e9451483bf1 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Fri Jan 11 10:59:23 2019 -0500 pluto: correctly type global_redirect; don't overspecify enum allow_global_redirect