FYI, this was already reported upstream at https://bugzilla.gnome.org/show_bug.cgi?id=685507, which I just marked yours a duplicate of (and pointed out the "workaround patch").
FYI, this was already reported upstream at https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 685507, which I just marked yours a duplicate of (and pointed out the "workaround patch").