Commit 1445aa8be51a80dc66152ab542887f0e85277b97 Parent c075a56436470061ffff9cf2ce7529984049e09e Author John MacFarlane <jgm@berkeley.edu> Date Thu, 7 Jan 2016 22:38:11 -0800 Updated spec.txt.