I managed to unarchive the bug. But I cannot close it. What happens here? The round of patches in -[23] address the issue.
Steffen -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org