New versions of GNOME Shell and GNOME Extensions are now available:
GNOME Shell 3.30.1GNOME Shell and Extensions 3.30.1 released
GNOME Shell Extensions 3.30.1
