New commits: commit 184f9c4a71e6d3e8673c7eec2e5a43b666c91d6f Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Wed Apr 3 10:33:50 2019 -0400 get rid of trailing whitespace on some lines. It is pointless and invisible.