Commit fe58a9295d44bd58bb4e48e449eb56c070e099d8 Parent 5eb01d279361ee7465d3a3f7d9494f1cd1018dd6 Author John MacFarlane <jgm@berkeley.edu> Date Sun, 8 Jan 2017 00:17:04 +0100 Update spec.