guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#33600] [PATCH 3/3] build: Default to https://ci.guix.info for subst


From: Ludovic Courtès
Subject: [bug#33600] [PATCH 3/3] build: Default to https://ci.guix.info for substitutes.
Date: Tue, 04 Dec 2018 15:14:31 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)

Ricardo Wurmus <address@hidden> skribis:

> Ludovic Courtès <address@hidden> 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.
>> address@hidden SUBSTITUTE-SERVER ci.guix.info
>> address@hidden 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’.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]