Thanks for the report.
I pushed a minor variation of that patch here:

http://git.savannah.gnu.org/gitweb/?p=autoconf.git;a=commitdiff;h=afd2a0d7f3b88bfb058cd1c389f978acea182744

Reply via email to