@Daniel, thank you for the work on this! I will add the PPA you made and test it. Recently I came to think that this issue might actually be due to a bad kernel module which I am running on my system (DiplayLink USD Docking station). I installed the module on a second PC after which similar problems as in this book started. I will get back to you once I get a change to verify the fixes from your PPA.
I don't know the flow so well on launchpad: is there some time window until this ticket should be closed? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1870270 Title: gnome-shell crashed with SIGSEGV in dri_flush_front_buffer() from intel_flush_front() from intel_glFlush() To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/mutter/+bug/1870270/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs