Quoting Bruno Kleinert <[email protected]>:
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