Comment 10 for bug 1716503

ii gnome-shell-extensions 3.25.91-1 all Extensions to extend functionality of GNOME Shell

the current package is installed since the 4th of september:

marcogh@fate:~$ grep gnome-shell-ext /var/log/dpkg.log
2017-09-04 22:46:26 upgrade gnome-shell-extensions:all 3.24.2-0ubuntu2 3.25.91-0ubuntu2
2017-09-04 22:46:26 status half-configured gnome-shell-extensions:all 3.24.2-0ubuntu2
2017-09-04 22:46:26 status unpacked gnome-shell-extensions:all 3.24.2-0ubuntu2
2017-09-04 22:46:26 status half-installed gnome-shell-extensions:all 3.24.2-0ubuntu2
2017-09-04 22:46:26 status half-installed gnome-shell-extensions:all 3.24.2-0ubuntu2
2017-09-04 22:46:26 status unpacked gnome-shell-extensions:all 3.25.91-0ubuntu2
2017-09-04 22:46:26 status unpacked gnome-shell-extensions:all 3.25.91-0ubuntu2

i just tried to uninstall and reinstall the package (just in case) but the issue remains.