> From: Paul Eggert <[EMAIL PROTECTED]> > Date: Fri, 14 Jun 2002 10:56:03 -0700 (PDT) > > That's a known bug in the current CVS, which I introduced and am > currently looking into. (Sorry about that.)
I've checked in a fix now. For details, please see: http://mail.gnu.org/pipermail/autoconf-patches/2002-June/008473.html
