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

[Ludovic Courtès]

ng0 <address@hidden> 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’.