Subject: Re: bug#36865: Guix gc breaks grub
From: Ludovic Courtès <[email-masked]>
To: [email-masked] (Jakob L. Kreuze)
Cc: Xavier Montillet <[email-masked]>, Ricardo Wurmus <[email-masked]>, [email-masked]
Date: Mon, 26 Aug 2019 10:19:00 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Jakob,

[email-masked] (Jakob L. Kreuze) skribis:

> Ludovic Courtès <[email-masked]> writes:
>
>> Jakob, does that ring a bell?
>
> Yes, this was fixed by #36880.

Looking more closely, it seems to be
<https://issues.guix.gnu.org/issue/36942>.

Anyway, closing.  Thanks for your feedback!

Ludo’.