Commit b93c3884b7e1ff3ff6d94551b2f822aa416691ef Parent 5901a8700443bf08e36b90b42d9e095202be5a02 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 6 Apr 2019 21:55:04 -0700 Update spec.