See https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1962127 for an ubuntu-bug of the gnome-shell crash file when this occurred for me yesterday.
See https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-shell/ +bug/1962127 for an ubuntu-bug of the gnome-shell crash file when this occurred for me yesterday.