This bug is closed so if you experience any problem at all then please open a new one by running:
ubuntu-bug gnome-shell
This bug is closed so if you experience any problem at all then please open a new one by running:
ubuntu-bug gnome-shell