Pedro: There already is a working patch at http://bugzilla.gnome.org/show_bug.cgi?id=171655#c39 as reported above. It just hasn't been applied for some reason.
Pedro: bugzilla. gnome.org/ show_bug. cgi?id= 171655# c39 as reported above. It just hasn't been applied for some reason.
There already is a working patch at http://