Op donderdag 29 maart 2018 14:47:27 CEST schreef Christoph R: > Done. Bug 794807 <https://bugzilla.gnome.org/show_bug.cgi?id=794807> and > 794806 <https://bugzilla.gnome.org/show_bug.cgi?id=794806> > > Gruß, > Christoph Great, thanks! Geert