[bug#62886] Unnecessary bug registered

Karl Berry <[email protected]> Sat, 27 May 2023 19:22:04 -0600

Newsgroups	gmane.comp.sysutils.automake.patches
Message-ID	<[email protected]>

Closing bug as suggested. Mailing or cc-ing [email protected]
will close a bug.

    To be closed/deleted, just like 
    https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60419.

Merging that one. --thanks, karl.