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.
