*** This bug is a duplicate of bug 1720768 ***
https://bugs.launchpad.net/bugs/1720768
Thank you for taking the time to report this bug and helping to make
Ubuntu better. This particular bug has already been reported and is a
duplicate of bug 1720768, so it is being marked as such. Please look
Hello,
https://gitlab.gnome.org/GNOME/gnome-shell/issues/6
Regards,
--
Cristian
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1745612
Title:
gnome-shell crashed with signal
** Information type changed from Private to Public
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1745612
Title:
gnome-shell crashed with signal 5
To manage notifications abou
