Commit f5bcd71573aa11be4ffbf782907af3c51701e8da Parent 6dd99184527638e48dd872a04fa5e445ce13792c Author John MacFarlane <jgm@berkeley.edu> Date Sat, 6 Feb 2016 13:35:22 -0800 Updated spec.