Bug#675345: gnome-shell: gnome randomly freezes

[Claudio]

Dear Maintainer,

This bug is very much still present, gnome3 randomly freezes on my
system with an intel hd3000 (using i915), the mouse still works during
the freeze and restarting X or gdm fixes it temporarily. The issue is
not present in xfce so it seems to be strictly related to gnome. 

I'm also not the only one with this issue: 

http://forums.debian.net/viewtopic.php?f=10&t=100041

Many reported the same problem even with very different hardware, the
solutions provided in that thread do not seem to fix the problem. 

Regards

Claudio