>> ... >> Funny that you should report it, because a patch to fix this bug was >> submitted just yesterday. Here it is: >> ... >> > Any chance Chris is going to (soonish) re-roll a new distribution with this > fix?
Looks like I should. I should hopefully have it out by the end of the week. Chris -- Chris Sutcliffe http://emergedesktop.org _______________________________________________ Make-w32 mailing list Make-w32@gnu.org http://lists.gnu.org/mailman/listinfo/make-w32