Merge branch 'release-10' of git.sv.gnu.org:/srv/git/mit-scheme into release-10
authorChris Hanson <org/chris-hanson/cph>
Sat, 27 Oct 2018 05:20:16 +0000 (22:20 -0700)
committerChris Hanson <org/chris-hanson/cph>
Sat, 27 Oct 2018 05:20:16 +0000 (22:20 -0700)

Trivial merge