On 0, Max Vozeler <[email protected]> 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
