Gnome Shell 3.8.2 support