Hi, gregor herrmann wrote (12 Dec 2014 18:09:40 GMT) : >> That patch was introduced in 2007 by Tincho. I suspect >> the upstream bugs it was meant to fix have been fixed in other ways >> since then. Tincho, thoughts? Do you have reproducers for these bugs?
> Sorry, I have no more idea either (i.e. I don't understand the patch > :)) Thanks for reproducing! Unless Tincho provides more info within a week or so about whatever problem that patch was supposed to solve 7y ago, I guess I'll upload without the patch. Cheers, -- intrigeri -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
