This crash is now fixed in Ubuntu 18.04. But I'll leave the gnome-shell task open for a while to help people and bots find the bug more easily.
This crash is now fixed in Ubuntu 18.04. But I'll leave the gnome-shell task open for a while to help people and bots find the bug more easily.