On Thursday, January 03, 2013 21:14:16 Philippe Sigaud wrote: > Is that a known issue or should I report them as bugs?
If you can't find it in bugzilla, report it. If it had been known though, I would have expected to be fixed already, since it's probably a trivial fix (unless it's just that no one who might fix it has noticed the bug). - Jonathan M Davis
