Hi I cannot seem to reproduce this (admittedly rather old) bug, do you happen to know whether it still occurs?
If not, I'm going to assume that it has been fixed by upstream since and close this one. cheers -- Stefan Ott http://www.ott.net/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
