Ubuntu
gnome-shell package

  1. Bug #1920121
  2. Comment #3

Comment 3 for bug 1920121

Revision history for this message
corrado venturini (corradoventu) wrote :

I do not know which package is guilty so I have not specified but perhaps gnome-shell is more right; but i don't know how to change.