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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
