No matches were found for subject:"\[Bug 1797744\] Re\: Mouse scrolling no longer moves between tabs in gnome\-terminal 3.30"