John R. Hogerhuis Tue, 14 Jul 2020 17:01:49 -0700
Thanks Gary, Kurt. I never ran into this bug. Though I knew there were multiple issues that NEWDOS fixes.
-- John.