Hi Robert, > Konrad, is this bug report still relevant? I suspect not, since it > seems to have been solved by switching to a more recent version > of guix 3 years ago. > The bug: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=26981 > If I don't hear back I'll assume it's safe to close this.
Yes, it is. Thanks for doing a cleanup! Konrad.
