Thanks, fixed in CVS Autoconf.

Reply via email to