Bug#944771: GNOME Shell crashes when selecting "About" from top bar menu in Midori

[Bernhard Übelacker]

Hello Andrew,
I tried to reproduce this crash but it did not show up for me.

Maybe you could install systemd-coredump, then a backtrace
would be written automatically into the journal:

    journalctl --no-pager

Kind regards,
Bernhard