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