On Sunday 16 December 2007 22:04, Steffen Prohaska wrote: > I think this is the preferable solution. Avoiding the dup-dance > instead of adding another dup seems to be saner until we can > avoid the dance altogether. > > Will you take the commit on mingw's master?
Yes: I've pushed it to mingw.git a minute ago. -- Hannes
