Thanks.  I don't see any problem in principle with this sort of patch
for Autoconf.


_______________________________________________
Autoconf mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/autoconf

Reply via email to