GNOME Shell 3.10 support added