On 07/02/2013 09:44 AM, Christian Groessler wrote: I haven't analyzed the issue thoroughly, but it's quite plausible you're right. If you don't plan on contributing fixes, could you file (separate) bug reports for these, so they don't get lost? Thanks, -- Pedro Alves