“Acaba de ser liberado o Gnome Shell 3.7.2 com várias correções de bugs, mais de 20 novos efeitos visuais, está mais ágil e com uma significativa nova funcionalidade: suporta configurações de provedores remotos de pesquisa. Praticamente quase todos os pequenos aspectos do Gnome Shell receberam alguma alteração ou polimento, o que o torna a melhor de todas as versões até aqui. Mas as melhorias mais notáveis ficam por conta da busca integrada e da filtragem nas notificações. Todas essas mudanças foram realizadas a nível de aplicação de patches no GCC.” [referência: debianmaniaco.blogspot.com.br]