New commits: commit c184f0df77e4a27f61d74d0b396bc348134f0f2d Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Wed May 16 10:50:35 2018 -0400 pluto: fix comment obsoleted by b2a58b79