New commits: commit bb62894ee5109fb1009c79cbc54280cfb8e03b25 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Sun Aug 20 11:48:20 2017 -0400 pervasive: get rid of useless trailing whitespace