Thanks for the instructions, I will do that if the bug recurs.
By the way, it is an infinite loop (spinning on one core), not a hang.
Presumably the latter is used as an umbrella term within the desktop
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
gnome-shell hangs, system is unusable
To manage notifications about this bug go to:
desktop-bugs mailing list