Ricardo Wurmus <rek...@elephly.net> skribis: > 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?
Oops, I must have messed up while preparing the patches. Thanks for the heads-up! Ludo’.