Subject: Re: bug#74557: Bootstrap no longer working

From: Ludovic Courtès <[email-masked]>
Date: Mon, 09 Dec 2024 17:57:00 +0100

Hi Mikael,

Mikael Djurfeldt <[email-masked]> skribis:

> I reverted 7379049d which solves the acute problem, but leave this bug for
> Andy to close once he has had time to re-introduce 7379049d the way he
> intended it.

Thanks for reverting it!

I can confirm that CI got greener:

  https://ci.guix.gnu.org/eval/1880849

Ludo’.