For the record: I filed a bug report on bugzilla.gnome.org reporting the problem - hopefully it will yield some result:
https://bugzilla.gnome.org/show_bug.cgi?id=637921
For the record: I filed a bug report on bugzilla.gnome.org reporting the problem - hopefully it will yield some result:
https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 637921