No matches were found for subject:"\[Bug 1366388\] \[NEW\] ubuntu\-desktop should recommend gnome\-mines instead of gnomine"