Subject: Re: bug#36865: Guix gc breaks grub

From: [email-masked] (Jakob L. Kreuze)
Date: Sat, 24 Aug 2019 13:42:00 -0400

Hi Ludovic,

Apologies for not participating in this thread until just now.

Ludovic Courtès <[email-masked]> writes:

> Jakob, does that ring a bell?

Yes, this was fixed by #36880.

Regards,
Jakob