Ubuntu
gnome-shell package

  1. Bug #1813511
  2. Comment #19

Comment 19 for bug 1813511

Revision history for this message
Mauro Sassi (maurosassi82) wrote :

I didn't encountered the bug any more in the last 7 days. It could have been fixed by some ubuntu updates (at least on my system).