A better bug to track in the GNOME bug tracker would be https://bugzilla.gnome.org/show_bug.cgi?id=681845 (the current one's duplication target), but I do not see a way to change the bug URL.
A better bug to track in the GNOME bug tracker would be https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 681845 (the current one's duplication target), but I do not see a way to change the bug URL.