Karl, thanks for submitting this patch. Would you like to submit it to the tracker developers too?
https://wiki.ubuntu.com/Bugs/Upstream/GNOME
Karl, thanks for submitting this patch. Would you like to submit it to the tracker developers too?
https:/ /wiki.ubuntu. com/Bugs/ Upstream/ GNOME