gnome-shell 3.8
gnome-shell 3.10
gnome-shell 3.12
add scale factor to St.load_uri_async()
Merge branch '3.12'