Le mardi 03 mai 2016 à 00:07 -0700, Arjen Veenhuizen a écrit : > I was on a5369c6be36fb22b505bb765f987212b39bcf408 (Feb 10, 2016) > I just applied the patch in 758703 > <https://bugzilla.gnome.org/show_bug.cgi?id=758703> and I can > confirm that > this solves the problem. Great, thanks for reporting back. Nicolas