severity 20776 normal thanks It is indeed a bug, but it is hardly release-critical. Discussion on #debian agrees with this. Wichert. -- To UNSUBSCRIBE, email to debian-dpkg-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org