On 11/26/2010 10:23 AM, Paul Eggert wrote:
On 11/25/2010 03:24 PM, Luke Mewburn wrote:Your patch also solves the problem.OK, thanks, I installed it. Still would appreciate another pair of eyes at some point.
I think it's good. Paolo _______________________________________________ Autoconf mailing list Autoconf@gnu.org http://lists.gnu.org/mailman/listinfo/autoconf
