Loading
Merge pull request #230642 from leungbk/mitscheme-fix
mitscheme: use texinfo6
Admins will be upgrading ORNL GitLab Servers on Saturday, 16 May 2026, from 7 AM until 11 AM EST. Repositories will experience intermittent outages during this time.
mitscheme: use texinfo6