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!

Reply via email to