>> ...
>> 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

Reply via email to