Hi, On mer., 15 mai 2024 at 01:09, [email protected] wrote: >> As pointed by Chris [1], this report seems a duplicate of #70663. Now, >> it should be fixed. Could you try again “guix pull” with a recent >> revision? > > yes that guix pull was successful
Closing? Since the issue is already tracked by #70663. Cheers, simon
