Version 3.35 not present at extensions.gnome.org
Version 3.35 is already out for a few months now. But I can only install upto 3.34 via extensions.gnome.org.
I'm on a Ubuntu 18.04 system (with gnome 3.28)
Version 3.35 is already out for a few months now. But I can only install upto 3.34 via extensions.gnome.org.
I'm on a Ubuntu 18.04 system (with gnome 3.28)