Bernhard Reiter wrote: > *ping* I'm sorry, I'm quite busy ATM.
> Should I post it to bugzilla so it doesn't get lost? Yes, please. And try to get somebody else to look at it (and commit it). I'm fine with the patch (AFAICT from the quick look I had). Jürgen
