Commit ef1f7f5870782471d12fdd784a15ea71cb267348 Parent d16cc15572d97c5360d66332ea56b9c6ec295f7f Author John MacFarlane <jgm@berkeley.edu> Date Sat, 25 Jul 2015 22:06:21 -0700 Updated test/spec.txt.