Hi Michael, I can't reproduce the bug you described, could you please check if it is still valid or if I can close this bug report?
Thank you, -- Laurent Léonard -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org