tag 563691 +pending thanks Bug confirmed and fixed in sources. Will upload a new -9 release soon.
Thanks for the bugreport! Xavier -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
