David Tardon Wed, 08 Jul 2015 01:21:31 -0700
Fixed some time ago by commit 610c5d9463c9574e9fcd1c2a9655a011d0a3ac86. D.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
