No matches were found for subject:"\[Bug 133535\] Re\: gnome\-terminal doesn't show menu..."