mirror of
https://github.com/PDP-10/its.git
synced 2026-03-10 12:48:25 +00:00
Fix for #1970
This commit is contained in:
committed by
Lars Brinkhoff
parent
56404ba0e4
commit
8fdf586f1b