The upstream bug noted above was marked as a duplicate of this:
https://bugzilla.gnome.org/show_bug.cgi?id=650029
Rene
The upstream bug noted above was marked as a duplicate of this:
https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 650029
Rene