Ubuntu
gnome-shell package

  1. Bug #1881542
  2. Comment #5

Comment 5 for bug 1881542

Revision history for this message
Slavo Roikhel (slavoroi) wrote :

I did the workaround, and reported this bug:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1881725

But, I'm not sure what I reported.