Op vrijdag 10 februari 2017 09:57:54 CET schreef David Carlson: > I have submitted Bug 778455 > <https://bugzilla.gnome.org/show_bug.cgi?id=778455> which includes David > T's file and brief but incomplete description. > > Now it on record. > > David C Thanks a lot David! That's great community service :) Geert