On Mon, Jan 29, 2018 at 7:39 PM, Per Bothner <per(a)bothner.com> wrote:
If any logs or monitoring tools would be helpful, I'll be happy
to
help.
Please see my earlier post in this thread regarding how to get a
stacktrace out of coredumpctl. If you post an issue report with a
stacktrace at
https://gitlab.gnome.org/GNOME/gnome-shell/issues, then
the developers will have a chance to investigate.
Thanks,
Michael