If nobody objects, I'll prepare the patch.
Paolo _______________________________________________ Autoconf mailing list Autoconf@gnu.org http://lists.gnu.org/mailman/listinfo/autoconf
If nobody objects, I'll prepare the patch.
Paolo _______________________________________________ Autoconf mailing list Autoconf@gnu.org http://lists.gnu.org/mailman/listinfo/autoconf