Description of problem:
I switched to a different user with the session menu. When I switched back to the session with Ctrl-Alt-F1 gnome-shell had crashed.

Version-Release number of selected component:
gnome-shell-3.8.1-1.fc19

Additional info:
backtrace_rating: 4
cmdline:        /usr/bin/gnome-shell
crash_function: _cogl_set_error
executable:     /usr/bin/gnome-shell
kernel:         3.9.0-0.rc8.git0.2.fc19.x86_64
runlevel:       N 5
uid:            10001
ureports_counter: 1
xsession_errors: Fensterverwalter-Warnung:Log level 16: gnome-shell: Fatal IO error 0 (Erfolg) on X server :0.

Truncated backtrace:
Thread no. 1 (10 frames)
 #1 _cogl_set_error at ./cogl-error.c:78
 #2 _cogl_offscreen_gl_allocate at driver/gl/cogl-framebuffer-gl.c:844
 #3 cogl_framebuffer_allocate at ./cogl-framebuffer.c:727
 #4 _cogl_framebuffer_gl_flush_state at driver/gl/cogl-framebuffer-gl.c:311
 #5 cogl_framebuffer_clear4f at ./cogl-framebuffer.c:369
 #6 cogl_framebuffer_clear at ./cogl-framebuffer.c:440
 #7 cogl_clear at ./cogl.c:87
 #8 _st_create_shadow_material_from_actor at st/st-private.c:513
 #9 st_label_paint at st/st-label.c:234
 #10 _g_closure_invoke_va at gclosure.c:840

Potential duplicate: bug 955624