reopen 752617 thanks Hi,
There is nothing in Ondřej's mail that says "not a bug". I'm reopening it. Cheers. -- Mathieu -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org