Subject: Re: bug#75518: Request for merging "core-packages-team" branch

From: Ludovic Courtès <[email-masked]>
Date: Tue, 06 May 2025 11:18:14 +0200

Hello!

You might have seen that the Gash fix has now landed, via an
“unofficial” Gash branch:

  https://issues.guix.gnu.org/75658#15

CI started evaluating it but this will probably take ~24h if everything
goes well:

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

At any rate, we should now be able to finally move forward.

Perhaps we can reopen this issue?

Thanks,
Ludo’.