On Fri, May 9, 2014 at 11:21 AM, Anton Gladky <gladk at debian.org> wrote: > Hi Mathieu, > > could you please let me know how to reproduce the bug? Sure: https://bugs.debian.org/747108#32