No matches were found for subject:"Bug#661486\: gnome\-shell\: Window manager crashes when making a search while two windows share the desktop side\-by\-side"