Commit 2bb51691fa389ead76f6531a677397f6c24f75f5 Parent 0978e3eb42cd5e67e31f19796975f5dc524344ba Author John MacFarlane <jgm@berkeley.edu> Date Sat, 11 Jul 2015 08:36:53 -0700 Updated spec