May I ask, if this is indeed the 'top gnome-shell crash in 18.04' wouldn't it be good to backport the patch because its still a supported release? The machine is on the latest patch level for 18.04. I don't mind too much because I probably upgrade to 20.04 soon. However, this bug (which only seems to affect one of my machines?) is quite an impediment when needing to switch keyboard layouts. During a normal work day there is a high chance of needing to do a hard reset to get back to normal.
-- 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/gnome-shell/+bug/1870270/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
