If the upstream bug is correct, then that upstream bug is a dupe of: https://bugzilla.gnome.org/show_bug.cgi?id=649121 , which was marked as RESOLVED FIXED 2 months ago. Perhaps this should be marked as RESOLVED FIXED upstream? Also bug 864249 is marked as a dupe of that upstream bug, so alternatively perhaps this bug is a dupe of that one?
If the upstream bug is correct, then that upstream bug is a dupe of: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 649121 , which was marked as RESOLVED FIXED 2 months ago. Perhaps this should be marked as RESOLVED FIXED upstream? Also bug 864249 is marked as a dupe of that upstream bug, so alternatively perhaps this bug is a dupe of that one?