Dear maintainers, this bug did not appear in the latest versions. Everything is running stable.
This bug can safely be closed. Thank you very much for your help and work! Best regards Hans-J. Ullrich -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
