On Fri, Nov 3, 2017 at 11:31 PM, Michael Biebl <bi...@debian.org> wrote: > Am 03.11.2017 um 17:25 schrieb Michael Biebl: > >> It's a known issue, see https://bugzilla.gnome.org/show_bug.cgi?id=789625 > > Let me rephrase that a little: I'm pretty sure it's the same underlying > issue and it would be great if you can give the patch in the upstream > bug tracker a try.
Yes, I have tried it and I confirm that it fixes this bug, too. Thanks, -- Theppitak Karoonboonyanan http://linux.thai.net/~thep/
