[bug#62886] Unnecessary bug registered

2023-05-27 Thread Karl Berry
Closing bug as suggested. Mailing or cc-ing -d...@debbugs.gnu.org will close a bug. To be closed/deleted, just like https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60419. Merging that one. --thanks, karl.

[bug#62886] Unnecessary bug registered

2023-04-16 Thread Bogdan
The bugtracker erroneously thought my previous mail was a new bug report... To be closed/deleted, just like https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60419. -- Regards - Bogdan ('bogdro') D. (GNU/Linux & FreeDOS) X86 assembly (DOS, GNU/Linux):http://bogdro.evai.pl/inde