On 0, Max Vozeler <x...@debian.org> wrote: > > Btw, as workaround until #521472 is fixed: >
#521472 is now fixed. This bug can be safely closed, AFAIS. -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy/ -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org