On Tue, 16 Apr 2019 at 11:37:31 +0200, Ivo De Decker wrote: > Also, are you aware of these bugs: > > https://bugs.debian.org/926212 gnome-shell crashed (segfault) > https://bugs.debian.org/927162 gnome-shell segfaults in libst-1.0.so > > It would probably be good to have a fix for that.
If I knew how to fix them, I would, but fixing crashes that I've never seen myself is not something that I can do instantly. smcv