The issue is unfortunately hard to reproduce these days, since it happens less often than at the time of first bug report. Still appears sometimes on different installations/machines.
Upstream bug report now in gnome bugzilla: https://bugzilla.gnome.org/show_bug.cgi?id=734085
[unrelated] Unfortunetely the wiki seems to be quite dead and unmaintained, the https://wiki.ubuntu.com/Bugs page has dead links for most of the main entries ( e.g. https://wiki.ubuntu.com/Bugs to empty https://wiki.ubuntu.com/Bugs/ReportingBugs https://wiki.ubuntu.com/Bugs/HowToFix).
The issue is unfortunately hard to reproduce these days, since it happens less often than at the time of first bug report. Still appears sometimes on different installations/ machines.
Upstream bug report now in gnome bugzilla: /bugzilla. gnome.org/ show_bug. cgi?id= 734085
https:/
[unrelated] /wiki.ubuntu. com/Bugs page has dead links for most of the main entries ( e.g. https:/ /wiki.ubuntu. com/Bugs to empty https:/ /wiki.ubuntu. com/Bugs/ ReportingBugs https:/ /wiki.ubuntu. com/Bugs/ HowToFix).
Unfortunetely the wiki seems to be quite dead and unmaintained, the https:/