> Please regenerate it and commit it. I posted asking for that a few
> weeks ago. It is a top level configure and someone who touches it more
> routinely should do it.

That's really quick and easy to do, so I've done it (patch attached).
But I also think that it's the same as any other configure script
regeneration, so anyone hacking configure scripts should feel free
to do it as well. Usually, reviewing the differences introduced during
the regeneration is sufficient to be confident about the update.

ChangeLog:

        * configure: Regenerate.

-- 
Joel