Commit 74d46d8b243d59358a806357cfba706abfa72aa1 Parent 42cd5230d423f20f9367754975d10f6ddf4c0430 Author John MacFarlane <jgm@berkeley.edu> Date Thu, 4 Oct 2018 15:40:26 -0700 Update spec.txt.