Commit 63c675f9acead1171a2881fbbf12ddc6c3cc82d1 Parent d0642637d89201a77086c727e8052af3f3baeadc Author John MacFarlane <jgm@berkeley.edu> Date Sun, 9 Sep 2018 22:12:43 -0700 Update spec.txt.