1) Logged in with User1.
2) Logged in with User2 on the desktop too.
3) Switched to the virtual console (Ctrl-Alt-F1).
4) Switched backed to the desktop (Ctrl-Alt-F7) and gnome-shell crashed.
5) Got the broken desktop of User1 instead of User2, which has serious security implications since it is working well enough to send this bug report.
1) Logged in with User1.
2) Logged in with User2 on the desktop too.
3) Switched to the virtual console (Ctrl-Alt-F1).
4) Switched backed to the desktop (Ctrl-Alt-F7) and gnome-shell crashed.
5) Got the broken desktop of User1 instead of User2, which has serious security implications since it is working well enough to send this bug report.