On 30/01/2018 08:28, John Emmas wrote:
Should I file a bug report about this (or is there one already open?)
Bug #793057 submitted:- https://bugzilla.gnome.org/show_bug.cgi?id=793057 _______________________________________________ gtk-devel-list mailing list gtk-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-devel-list
