GNOME Shell 3.9.2 Is Ready for GNOME 3.9.2

This release brings many improvements and fixes lots of bugs
by Marius Nestor, June 5th, 2013