Closed GBR-613 closed 5 months ago
Thanks, I just checked and this conforms with GW-BASIC behaviour. I usually merge on the command line rather than through the GitHub interface because reasons - so your commit goes in but the PR won't show as merged.
merged manually
Thanks, I just checked and this conforms with GW-BASIC behaviour. I usually merge on the command line rather than through the GitHub interface because reasons - so your commit goes in but the PR won't show as merged.