That's great news.
For everyone else though, please note gnome-shell for Ubuntu 18.04 has not been updated since 6 May. We will let you know here when a fix is available for testing.
That's great news.
For everyone else though, please note gnome-shell for Ubuntu 18.04 has not been updated since 6 May. We will let you know here when a fix is available for testing.