Hi, Thanks for the bug report.
I reported this bug upstream but as it doesn't seems to be active anymore, it may not be fixed. Regards, Vincent -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
