Quoting Bruno Kleinert <fuddl at 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!