New commits: commit 97a28bf6f828f8e6bd02309ccaacf791fdd05817 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Sun Dec 17 11:38:39 2017 -0500 pluto: fix bug in cda486a95acc829c7461c7e6e66d6dd322fc3eec - observed by Antony - diagnosed by Andrew