-
Kai Willadsen authored
These keys were only used by Bug Buddy, which appears not to be used any more. See e.g., https://bugzilla.gnome.org/show_bug.cgi?id=776796
8eaebef5
These keys were only used by Bug Buddy, which appears not to be used any more. See e.g., https://bugzilla.gnome.org/show_bug.cgi?id=776796