Quoting Bruno Kleinert <fu...@debian.org>:
the bug didn't occur anymore since around the end of December. Therefore I'll close the bug. Unfortunately I cannot remember which upload fixed it.
Thanks for checking the bug again!
Quoting Bruno Kleinert <fu...@debian.org>:
the bug didn't occur anymore since around the end of December. Therefore I'll close the bug. Unfortunately I cannot remember which upload fixed it.
Thanks for checking the bug again!