guix-commits
[Top][All Lists]
Advanced

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

01/07: doc: Update substitute server.


From: guix-commits
Subject: 01/07: doc: Update substitute server.
Date: Tue, 4 Dec 2018 18:14:00 -0500 (EST)

civodul pushed a commit to branch version-0.16.0
in repository guix.

commit 606b1a1e6b45cd019159716802d5a6bc1ec10e35
Author: Ludovic Courtès <address@hidden>
Date:   Tue Dec 4 15:26:40 2018 +0100

    doc: Update substitute server.
    
    Fixes an accidental revert in commit
    0a5fa004f7f21dc3e01747b8e94fbb21e056e4ca.
    
    * doc/guix.texi (SUBSTITUTE-SERVER): Really change to ci.guix.info.
---
 doc/guix.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index c138d43..a08a999 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 mirror.hydra.gnu.org
address@hidden SUBSTITUTE-SERVER ci.guix.info
 
 @copying
 Copyright @copyright{} 2012, 2013, 2014, 2015, 2016, 2017, 2018 Ludovic 
address@hidden



reply via email to

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