Mailing the story:

Gnome Shell 3.7.2 (and whole Gnome) released a few hours ago ..and what a release was this! It brings more than 20 visual enchantments -and more are ready to land- several annoying bug fixes, it gets more responsive and we also get the first major new feature, support remote search provider settings. This is taking place inside G-C-C and patches haven’t arrived yet in master branch, but I cheated a bit and applied them cause are awesome!