Commit 240400e1c397c6b379c0c7c21d1ec658dbb24153 Parent c52aecff5e1fb1c611f0803203e7efa933a9a472 Author John MacFarlane <jgm@berkeley.edu> Date Thu, 4 Jun 2015 12:59:40 +0200 Updated spec.