Ludovic Courtès <l...@gnu.org> skribis: > I pushed your patch together with the reproducer as > 78da6951787f07e9460091885d7a9eb3e667b512. > > Now we have to update the ‘guix’ package, though perhaps that’ll have to > wait until next year, we’ll see.
Found the time to do it: pushed as aefe57c69ffb2892df8e180b5487a4ac705f42e3. Looks like we’re done, woohoo! Ludo’.
