Commit 966898e10d7ecc61d2e0f956197944626e059ec2 Parent 7767b22ab12aa4ab43ae389771617078248a4b84 Author John MacFarlane <jgm@berkeley.edu> Date Thu, 4 Jun 2015 13:20:56 +0200 Updated spec.