Salvatore Bonaccorso wrote... > This seems to be fixed in git repository, see > > http://bugs.debian.org/626408
No idea how I could have missed that one when checking the BTS. Sorry for the noise. Christoph -- To UNSUBSCRIBE, email to debian-policy-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/1315153...@msgid.manchmal.in-ulm.de