Karl Berry Tue, 08 Feb 2022 14:52:31 -0800
Fixes automake bug https://bugs.gnu.org/30172.
No problem seen by me. Thanks.