Subject: Re: Bug report follow up

From: Konrad Hinsen <[email-masked]>
Date: Thu, 03 Dec 2020 09:11:01 +0100

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.