Sorry, I just had time to copy what I had reported in bug 56534. Gnome Shell ends up with a "Oops". I'll dig in logs to search for more clues.