Commit 657061c630cf493aa74ce4a09aebc869813b6916 Parent dc0e8aac6cd8b891e23a3bd29459eb63b07af3e7 Author John MacFarlane <jgm@berkeley.edu> Date Wed, 3 Jun 2015 11:45:07 +0200 Updated spec.