Thanks for the link Christopher. The gnome-bugtracker now has this item:
https://bugzilla.gnome.org/show_bug.cgi?id=740063
Cheers, David
Thanks for the link Christopher. The gnome-bugtracker now has this item:
https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 740063
Cheers,
David