Install the next version of gnome-shell from unstable: sudo apt install gnome-shell/unstable mutter/unstable gnome-shell-extensions/unstable
Include gnome-shell-extensions in your upgrade to avoid problems with missing dependencies. And give it a try with the option --simulate before to be sure it won't break something. Jean-Marc <jean-m...@6jf.be> https://6jf.be/keys/ED863AD1.txt
pgpgFTeNEF7SN.pgp
Description: PGP signature
