No matches were found for subject:"\[Bug 948612\] Re\: gnome\-terminal does not scroll with mousewheel"