The bug is submitted to Gnome Bugzilla: https://bugzilla.gnome.org/show_bug.cgi?id=790503
Thanks @Sebastien!
The bug is submitted to Gnome Bugzilla: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 790503
Thanks @Sebastien!