Apparently, using systemd avoids the crash in gnome-shell. This seems to be a good guess of Michael Biebl in bug#674433, so both problems appear to have the same root.
Thanks -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
