Oops, this debbugs report was created when I replied to the original message, before automake-patches was connected to debbugs. https://lists.gnu.org/archive/html/automake-patches/2022-01/msg00029.html
Closing ...
Oops, this debbugs report was created when I replied to the original message, before automake-patches was connected to debbugs. https://lists.gnu.org/archive/html/automake-patches/2022-01/msg00029.html
Closing ...