Fixed in ba50877e8c0742d8ac9c19b8f553f54ec1648ce9 and deployed. Sorry if we ignored the bug for so much time.
ciao cate -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org