From 606b1a1e6b45cd019159716802d5a6bc1ec10e35 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Tue, 4 Dec 2018 15:26:40 +0100
Subject: [PATCH] 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 c138d43242..a08a999ca0 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 mirror.hydra.gnu.org
+@set SUBSTITUTE-SERVER ci.guix.info
 
 @copying
 Copyright @copyright{} 2012, 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès@*