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.
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 extensions: all 3.24.2-0ubuntu2 extensions: all extensions: all extensions: all extensions: all extensions: all extensions: all
2017-09-04 22:46:26 upgrade gnome-shell-
3.25.91-0ubuntu2
2017-09-04 22:46:26 status half-configured gnome-shell-
3.24.2-0ubuntu2
2017-09-04 22:46:26 status unpacked gnome-shell-
3.24.2-0ubuntu2
2017-09-04 22:46:26 status half-installed gnome-shell-
3.24.2-0ubuntu2
2017-09-04 22:46:26 status half-installed gnome-shell-
3.24.2-0ubuntu2
2017-09-04 22:46:26 status unpacked gnome-shell-
3.25.91-0ubuntu2
2017-09-04 22:46:26 status unpacked gnome-shell-
3.25.91-0ubuntu2
i just tried to uninstall and reinstall the package (just in case) but the
issue remains.