Hi, there was no meaningful answer to the moreinfo mail. That is why I'm closing the bug. Please, feel free to reopen it if you think the bug is still there, or fill a new bug.
Kind regards, Anton -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
