Also there are zero reports of this crash after gnome-shell 3.28.0. So zero crashes in Ubuntu 18.10, and zero crashes since the final release of Ubuntu 18.04.
The only systems still crashing seem to be pre-release bionic systems that haven't been updated for most of the year.
I think this looks fixed already. Maybe fixed as early as the final release of 18.04.
That sounds plausible.
Also there are zero reports of this crash after gnome-shell 3.28.0. So zero crashes in Ubuntu 18.10, and zero crashes since the final release of Ubuntu 18.04.
The only systems still crashing seem to be pre-release bionic systems that haven't been updated for most of the year.
I think this looks fixed already. Maybe fixed as early as the final release of 18.04.