extensions.gnome.org seems to still be on 3.16 as it can not be installed through the web gui.
Don't know how slow the delivery process, please comment if it's already under review. (and perhaps update the README when new versions are under review/delivered?)
extensions.gnome.org seems to still be on 3.16 as it can not be installed through the web gui.
Don't know how slow the delivery process, please comment if it's already under review. (and perhaps update the README when new versions are under review/delivered?)