*** This bug is a duplicate of bug 1756079 ***
https://bugs.launchpad.net/bugs/1756079
** This bug has been marked a duplicate of private bug 1756079
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
On Thu, 2018-03-15 at 02:25 +, Daniel van Vugt wrote:
> Please do this:
>
> 1. Apply the workaround from bug 994921.
Done, in fact it was already commented out.
> 2. Reproduce the crash.
Really can't do that as the crash happens very randomly.
> 3. Look in /var/crash for new files, and if
Please do this:
1. Apply the workaround from bug 994921.
2. Reproduce the crash.
3. Look in /var/crash for new files, and if found run:
ubuntu-bug /var/crash/YOURFILE.crash.
4. When the new bug is created, let us know here what that bug ID is.
** Changed in: gnome-shell (Ubuntu)
