*** This bug is a duplicate of bug 1720768 ***
https://bugs.launchpad.net/bugs/1720768
** This bug is no longer a duplicate of bug 1745612
gnome-shell crashed with signal 5
** This bug has been marked a duplicate of bug 1720768
gnome-shell crashed with SIGTRAP in
*** This bug is a duplicate of bug 1745612 ***
https://bugs.launchpad.net/bugs/1745612
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 #1745612, so is being marked as such.
