Dear Roland, this bug report can be closed, I think, since the reported bug is fixed in version 1.7-1. -- Best regards, Jörg-Volker.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org