Hi again, this patch has made it into an upstream stable release, and it seems that it entered Debian as well. I cannot reproduce the issue anymore.
Kind regards, Ralf -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
