This bug is closed because:
(a) The original reporter can't reproduce it any more; and (b) The developer can't reproduce it any more.
If there are any remaining issues then please open a new bug by running:
ubuntu-bug gnome-shell
This bug is closed because:
(a) The original reporter can't reproduce it any more; and
(b) The developer can't reproduce it any more.
If there are any remaining issues then please open a new bug by running:
ubuntu-bug gnome-shell