Ok, the bug report has been created in Gnome's bugzilla.
https://bugzilla.gnome.org/show_bug.cgi?id=600241
Nobody's said anything there yet, and it's been about a week.
Ok, the bug report has been created in Gnome's bugzilla.
https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 600241
Nobody's said anything there yet, and it's been about a week.