For Ubuntu 19.10 and 20.04 this bug is already fixed and closed. For Ubuntu 18.04 this bug is open and will stay open until either:
* Someone confirms the fix in comment #19 and then I release it properly; or * No one confirms the fix in comment #19 and (after a period of time) I would close the the bug without a fix. -- 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 [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
