Ubuntu
gnome-shell package

  1. Bug #1813350
  2. Comment #3

Comment 3 for bug 1813350

Revision history for this message
Jeremy Bícha (jbicha) wrote :

I installed gnome-shell 3.30.2-0ubuntu1.18.10.1 on Ubuntu 18.10 and verified that the Ubuntu and GNOME sessions appear to work fine. Switching users works too.