Subject: Re: bug#14851: #14851 - linux-libre-3.3.8-gnu disappeared

From: [email-masked] (Ludovic Courtès)
Date: Fri, 05 May 2017 20:56:43 +0200

ng0 <[email-masked]> skribis:

> Andreas, Ludovic, and others:
>
>   This bug report was last modified 3 years and 258 days ago.
>
> It is my understanding that this bug could be closed. I see no more
> current problems and it makes no sense to keep the bug open just in case
> the problem appears again.
>
> Would you agree?

I do!  Especially with the content-addressed mirror we’ve been hosting
with ‘guix publish’.

Ludo’.