New commits: commit b6e8244a3fda063707192878446429f30b8b4d0c Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Sun Sep 9 20:51:28 2018 -0400 pluto: remove surplus whitespace