GNOME/gnome-shell — pull request #2 by zygous (2014-08-04 13:18:20+00:00)
Title: Repaired Overview.addSearchProvider() and Overview.removeSearchProvider()

This commit addresses https://bugzilla.gnome.org/show_bug.cgi?id=727461.