I don't see any SIGSEGV in those logs (or "signal 11" or "segfault"). But it does look like gnome-shell got manually killed (SIGKILL) for some reason. The kill seems to occur soon after bug 2034665.
I don't see any SIGSEGV in those logs (or "signal 11" or "segfault"). But it does look like gnome-shell got manually killed (SIGKILL) for some reason. The kill seems to occur soon after bug 2034665.