Commit d63dd090693f6065b7a79d634bf88e45da089b53 Parent 966898e10d7ecc61d2e0f956197944626e059ec2 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 6 Jun 2015 08:10:57 +0200 Updated spec.