On Tue, Dec 5, 2017 at 3:20 AM, Thibaut Girka <t...@sitedethib.com> wrote: > I have a few gnome-shell extensions enabled: Alternatetab, Application menu, > Removable drive menu, Places status indicator and Pomodoro, all from Debian.
Please also disable all your GNOME Shell extensions, reboot and let us know if you can still reproduce the frequent crashes. It is possible for GNOME Shell extensions to crash GNOME. The Debian GNOME team has limited ability to help troubleshoot these issues. I encourage you to also forward this bug to GNOME. Thanks, Jeremy Bicha
