Commit feabcd3a5d431f5bbc577e87d70a3e2bf3c39e70 Parent aa052f8efa0480a6d1da7cfe1b6083e47c095ccd Author John MacFarlane <jgm@berkeley.edu> Date Tue, 14 Jul 2015 14:49:37 -0700 Updated spec.