GNOME development updates to 3.7.2

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