New commits: commit 756e89d5486338449a2cda7e8c8c4cdfca417868 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Sat May 14 00:37:19 2016 -0400 Make infrastructure: close a couple of unpaired quotes