Hi Tollef,You reported this bug (quite exactly) one year ago. Sorry that you didn't get a reply sooner.
I hope it was just a temporary issue and this bug can be closed. If this is not the case, do you know of a way to reproduce this?
Best regards, Andreas -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
