Andreas Schwab dixit: >That is already fixed.
Upstream, yes, but not in the Debian package. Hence, I filed the bug there to prevent it from migrating to testing. I also wonder, because the changelog said it did include the last-minute fix… bye, //mirabilos -- “Having a smoking section in a restaurant is like having a peeing section in a swimming pool.” -- Edward Burr -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org