Commit 54c990d17385156958556d86feca0c6e24da94e7 Parent 9411fe7146a12d38e3fff194d9b885dacd9d6af2 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 12 May 2020 23:17:07 -0700 spec_tests.py: ignore line endings on diff.