Just reported it a minute ago, the Gnome bug is here : https://bugzilla.gnome.org/show_bug.cgi?id=597515
Just reported it a minute ago, the Gnome bug is here : https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 597515