This bug is also reported to: https://bugzilla.gnome.org/show_bug.cgi?id=643520
Bugs of Gnome should go to bugzilla.gnome.org.
This bug is also reported to: /bugzilla. gnome.org/ show_bug. cgi?id= 643520
https:/
Bugs of Gnome should go to bugzilla.gnome.org.