Commit bf93f0f667c5e2a8f0d39b2981932abae67cef84 Parent feabcd3a5d431f5bbc577e87d70a3e2bf3c39e70 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 14 Jul 2015 15:31:07 -0700 Updated spec.