Commit 733c2ea2818f5a369b74a594447361ed3eec1f21 Parent a1f271dd365155fcf9f529d139d6efd06bea3dc3 Author John MacFarlane <jgm@berkeley.edu> Date Thu, 15 Sep 2016 12:38:36 +0200 Update spec.