Op dinsdag 10 januari 2017 11:14:41 CET schreef David Carlson: > I have filed *Bug 777105* > <https://bugzilla.gnome.org/show_bug.cgi?id=777105> to bugzilla > > David C > Thanks David. Geert