On Friday, 17 November, Eli Zaretskii ([EMAIL PROTECTED]) wrote: > Paul, I recommend to apply the patch (reproduced below) to the CVS.
Will do; thanks. _______________________________________________ Make-w32 mailing list [email protected] http://lists.gnu.org/mailman/listinfo/make-w32
