Commit 1f4632b8e761da5aaeebcefb2e43332ad267dba8 Parent 2d3d955942c5ee4a99b401cf47e69f52c558325c Author John MacFarlane <jgm@berkeley.edu> Date Sun, 23 Aug 2015 21:55:21 -0700 Updated spec