No matches were found for subject:"Bug#547319\: gpointing\-device\-settings\: does not appear on GNOME menu by default"