Actually, since Ubuntu 16.04 GNOME reached end-of-life in April 2019 this really should close. If you experience similar issues in 20.10 then please open a new bug by running:
ubuntu-bug gnome-shell
Actually, since Ubuntu 16.04 GNOME reached end-of-life in April 2019 this really should close. If you experience similar issues in 20.10 then please open a new bug by running:
ubuntu-bug gnome-shell