It appears that there's a patch assigned to GNOME bug #553929: https://bugzilla.gnome.org/show_bug.cgi?id=553929
I haven't tested this patch, so I don't know if it fixes the bug.
It appears that there's a patch assigned to GNOME bug #553929: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 553929
I haven't tested this patch, so I don't know if it fixes the bug.