On Mon, Jan 29, 2018 at 7:39 PM, Per Bothner <per@xxxxxxxxxxx> 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 _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
