Merge branch 'release-10' for Gnome 3.10 into develop
Updated Global, Gio, and Shell functions for Gnome 3.12; Moved hotspot and placed it inside panelMenuButton.
Updated Global functions in placeDisplay for Gnome 3.12.
Updated Shell functions in web plugins for Gnome 3.12.
Updated metadata for Gnome 3.12 (3.11.9x betas).
Updated PO files for Italian translation.
Merge branch 'develop'