Comment # 2 on bug 1174737 from Neil Rickert

I had a system crash yesterday, as described here:
https://lists.opensuse.org/opensuse/2020-07/msg00616.html

I'm not finding relevant logs.  I'm suspecting that it might be the same
problem,  but I cannot be sure.