New commits: commit 044447b1811474f16d3dc0e84c7bc5ea060b7679 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Sat Aug 17 22:35:58 2019 -0400 pervasive: fix some whitespace