Bug#1082297: gnome-shell: Crashes gdm on startup

[Jeremy Bícha]

Also, did you previously use any of the gnome-shell 47 pre-release
versions or is gnome-shell 47.0-1 the first 47 version you have used?

Thank you,
Jeremy Bícha