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.


Reply via email to