New commits: commit 783878524e976d0176e73abb6005f3bd516c4a78 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Wed Jul 27 15:11:36 2016 -0400 pluto: make two empty loop bodies easier to notice