---

GNOME development updates to 3.7.2

GNOME Shell is one step closer with 3.8, with 3.7.2 making numerous fixes as development continues