Hi Andreas, On Tue 8 Apr 2025 at 10:31 pm CEST, Andreas Enge wrote: > can this be closed now as > https://issues.guix.gnu.org/76558 > is merged?
I am no longer inconvenienced by this, though I still see the warnings emitted by the change in the patch you linked, so the underlying issue is still there. Up to you if you consider this fixed. Feel free to close this if so :) Cheers, Timo
