Bug#855022: [gnome-shell] regularly SEGFAULTs while switching between windows with Alt-Tab

[Thibaut Paumard]

Dear maintainers,

I have switched to alternative alt-tab extensions ("Alternatetab", in
Debian, and [0]"Coverflow alt-tab"), and none of them seems affected by
this SEGFAULT issue.

[0] https://extensions.gnome.org/extension/97/coverflow-alt-tab/

Regards, Thibaut.