Commit 40c78bcba301d0d02d5179180983873b2e08fa3d Parent 9cad14e56770af3bc71fb3bbe944418dbcf868cb Author John MacFarlane <jgm@berkeley.edu> Date Tue, 28 Apr 2015 21:18:27 -0700 Updated spec.