New commits: commit ca75802bb3f282f8d20665a0f2ca576595c0b359 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Wed Jun 24 02:10:36 2015 -0400 pluto: fix some confusing formatting, mostly involving ELSE