Tom Horsley <horsley1953 <at> gmail.com> writes:
On Wed, 3 Jul 2013 13:10:35 +0000 (UTC)
Andre Robatino wrote:
> This is due to gdm
> being broken, so you need to use a different display manager.
Weird that it is a gdm bug even though gnome shell is what is
spinning forever.
I initially reported the bug against gnome-shell for this reason. But GNOME
itself works fine if you log into it from a different DM.