address@hidden wrote:> The file under discussion came from GNULIB (I> believe) so I'm adding bug-gnulib and will let that team comment on> this.I should have had a better look at the header of the file
instead of rushing headlong to the relevant lines...
address@hidden wrote:
> We fixed that long ago in a different way in Gnulib, so presumably the
> next time Gawk syncs mktime.c from Gnulib it'll fix the problem then.
I have now seen how you solved this. Smart.
Thank you both for your attention.
Best regards,
Samy Mahmoudi