Hi,
I guess that this is the problem that renders the search functionality unusable. Nothing is being found these days. So I'd probably rather say "severity: normal". Kind regards, --Toni++ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org