We're also tracking a crash in bug 2012839 (private for now) which might explain similar issues seen outside of gnome-shell.
We're also tracking a crash in bug 2012839 (private for now) which might explain similar issues seen outside of gnome-shell.