I did that as it was described in 994921, however nothing turned up. However, I did a clean re-install of my system (was on the brink of it already, ran into some config issues when moving to focal and decided that this LTS was a good moment).
Now the problem seems to be gone (at least, it doesn't have a 100% reproduction rate anymore), so I guess we must conclude that this was a config issue on my system. Although it could very well still be a bug in the system of course. I'll report back if I run into the same issue again. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1876802 Title: Gnome (on Xorg) crashes when disconnecting external monitor To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1876802/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
