New commits: commit 413c259fc5b2e23ed30696b987e5d0b247a1ea0a Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Fri Sep 1 08:54:33 2017 -0400 pervasive: remove space before colon within English text (not C)