Thanks, I pushed that into the autoconf master.

Reply via email to