Commit a1f271dd365155fcf9f529d139d6efd06bea3dc3 Parent bbca5bb3bbacd2bb8c85cfe54293b8c4da29dbf9 Author John MacFarlane <jgm@berkeley.edu> Date Wed, 14 Sep 2016 17:14:42 +0200 Update spec.