FWIW, I think we should only use a new Autoconf if it is a patched variant of the same version of Autoconf we use today.
I too would be in favor of using a patched Autoconf -- or just applying the same change directly to the configure file.
FWIW, I think we should only use a new Autoconf if it is a patched variant of the same version of Autoconf we use today.
I too would be in favor of using a patched Autoconf -- or just applying the same change directly to the configure file.