Re: [opensuse-factory] gnome-shell is ignored by systemd-coredump