Dear maintainers, the bug did not appear any more. Everything is working fine now, although I had nothing changed. The bug came by magic, and went by magic.
I think, you can safely close this bug. Best regards Hans -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
