[bug#62886] Unnecessary bug registered

Closing bug as suggested. Mailing or cc-ing nnnn-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.

Reply via email to