This crashes seems triggered by the xrandr-indicator official extension (it was installed but disabled). After removing it, gnome-shell works.
-- Yauhen Kharuzhy jekhor _at_ gmail.com JID: j...@jabber.ru skype: jekhor A: No Q: Should I quote below my post? -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org