On 0, Max Vozeler <xam at 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/