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!
In Gnome Shell 3.7.2 there are so many changes that is impossible to even mention them, is one of this cases that you just need to try it your selves ..and we are just in beginning! Almost every single aspect of Gnome Shell has a minor change and is all about polishing.
rest here