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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

