Bug#784080: fix available

[David Tardon]

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