Subject: Re: bug#37917: Kernel Panic
From: "pelzflorian (Florian Pelz)" <[email-masked]>
To: [email-masked]
Cc: Raghav Gururajan <[email-masked]>, Jesse Gibbons <[email-masked]>
Date: Fri, 31 Jan 2020 08:28:43 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

This was resolved for me with the resolution of

https://issues.guix.info/issue/37757

I close instead of merging, but I hope it also is the same resolved
bug for everyone affected.  Please reopen if not.

Regards,
Florian