[02:36] <jbicha> either a lot of people were running gnome-shell in 12.04 Beta or gnome-shell 3.4 was really buggy