bug#34893: Translated manuals refer to wrong substitute server

[pelzflorian (Florian Pelz)]

On Tue, Jan 12, 2021 at 03:21:14PM +0100, Julien Lepiller wrote:
> Le Sun, 17 Mar 2019 14:53:56 +0100,
> "pelzflorian (Florian Pelz)" <pelzflorian@pelzflorian.de> a écrit :
> > Where the manual refers to the default substitute server
> > https://ci.guix.info, the translated manuals wrongly use
> > https://ci.guix.fr.info or similar.
>
> Since we don't use the guix.info domain anymore, this should not be an
> issue anymore. I'm closing this issue, but feel free to re-open if you
> think this is still an issue.

Thank you for closing!  I didn’t even see the issue anymore at the one
place where ci.guix.info was still used.

     Ce que montre cet exemple est que ‘kcoreaddons’ et probablement les
     58 paquets qui en dépendent n’ont pas de substituts sur
     ‘ci.guix.info’ ; de même pour ‘qgpgme’ et les 46 paquets qui en
     dépendent.

Anyway I changed that last occurrence of guix.info as
89dbcac107d931fd33eda4a83db445e8a90cc4af.

Regards,
Florian