New commits: commit a29e83315d0b6a977ab86a62fab85391a54162ad Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Thu Sep 14 11:48:42 2017 -0400 pluto: add a couple of missing spaces