Re: Autoconf upgrade

> Autoconf 2.53 was just released, and I'd like us to upgrade to this
> release in the next few weeks.  Compared to 2.13, there are tons of new
> features in this release that will make our lives easier.

Hmm. I'd much rather be using a version which actually ships with some
distros. I've got 2.13 on my rather fresh Linux box. Anyone else getting
something later any time soon?
                   - Thomas