Commit 2456659fdd244b0fdda0c5d510f17555e224d127 Parent d7ffa6074d88564016de59a37b3e26627545f0ea Author John MacFarlane <jgm@berkeley.edu> Date Fri, 5 Feb 2016 23:10:39 -0800 Updated spec test.