*** This bug is a duplicate of bug 1843182 ***
https://bugs.launchpad.net/bugs/1843182
** This bug is no longer a duplicate of private bug 1845136
** This bug has been marked a duplicate of private bug 1844850
** This bug is no longer a duplicate of bug 1844850
gnome-shell crashed with
*** This bug is a duplicate of bug 1845136 ***
https://bugs.launchpad.net/bugs/1845136
Thank you for taking the time to report this crash and helping to make
this software better. This particular crash has already been reported
and is a duplicate of bug #1845136, so is being marked as such.