Ubuntu
gnome-shell package

  1. Bug #1716341
  2. Comment #6

Comment 6 for bug 1716341

Revision history for this message
Jonathan Kamens (jik) wrote :

I think this is regression-release because the default display manager in Ubuntu 17.04 was not broken in this way and the default display manager in Ubuntu 17.10 is.

But hey, what do I know, I'm just an end user.