Hello everybody. Now that the regressions of autoconf 2.66 and the problems with the release procedure of autoconf 2.67 seem solved, I'd like to ping this bug report, which was probably overlooked due to the cropping up of those (much more serious) issues.
Regards, Stefano