New commits: commit 2c150735c7e53918743d57a64cdadca14bcc0488 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Wed Feb 1 10:03:28 2017 -0500 pluto: get rid of redundant blank line in source code