Hi Sebastien, thanks for your comment!
I've reported the bug upstream as GNOME #784636, see https://bugzilla.gnome.org/show_bug.cgi?id=784636. I already added a bugwatch.
Hi Sebastien, thanks for your comment!
I've reported the bug upstream as GNOME #784636, see https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 784636. I already added a bugwatch.