Bug#968209: gnome-shell crashes randomly when closing evince

[Benedikt Ahrens]

I followed the helpful instructions given in
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=800951#15 and will
post more information when the bug occurs next time.