New commits: commit d1f1def90b5fbaaf6ad7ac15fff70dba137fb3b8 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Thu Jul 30 16:03:17 2015 -0400 pluto: simplify 92c24512e37184c9fab562baf6f6bfdf7fa5522e by brute force