Ludovic Courtès <l...@gnu.org> writes:
> * doc/guix.texi (SUBSTITUTE-SERVER): Switch to ci.guix.info. […] > diff --git a/doc/guix.texi b/doc/guix.texi > index d96c35eace..a5ae1c65e6 100644 > --- a/doc/guix.texi > +++ b/doc/guix.texi > @@ -14,7 +14,7 @@ > @set KEY-SERVER pool.sks-keyservers.net > > @c The official substitute server used by default. > -@set SUBSTITUTE-SERVER ci.guix.info > +@set SUBSTITUTE-SERVER mirror.hydra.gnu.org Is this really correct? -- Ricardo