On 05/13/14 10:06 AM, Peter Trommler wrote: > Hi Karel, > > This issue is ticket #9055, which also contains a patch. Could we please merge it? I'm the second petitioner for the merge of your fix! Thanks a lot for pointing this out and providing the patch! Cheers, Karel