Actually, it appears like the Debian problem was because some users hadn't updated their gnome-shell yet. Since Ubuntu 18.04 already has the updated gnome-shell, let's let this last plugin in now.
https://bugs.debian.org/888653
Actually, it appears like the Debian problem was because some users hadn't updated their gnome-shell yet. Since Ubuntu 18.04 already has the updated gnome-shell, let's let this last plugin in now.
https:/ /bugs.debian. org/888653