Closed jkotlinski closed 1 year ago
see: #525
abandoned. standard SAVE-INPUT, RESTORE-INPUT is not a good idea.
see: #525