Commit 022a55fda07b5eae3efb2a6edd26b0f407252b91 Parent ffde0612e7e59a4d19e6c2ee0ac062ae4d049f5e Author John MacFarlane <jgm@berkeley.edu> Date Tue, 1 Aug 2017 12:06:07 -0700 Update spec.