The original GNOME bug was sidetracked to fix something else, so I filed a new upstream report as per upstream's request.
The original GNOME bug was sidetracked to fix something else, so I filed a new upstream report as per upstream's request.