[gnunet] branch master updated: bump dns name

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 77a7b96bd bump dns name
     new d9b472753 Merge branch 'master' of git+ssh://gnunet.org/gnunet
77a7b96bd is described below

commit 77a7b96bd7cc0fac5a9d59775ee09e2162239399
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Mon Nov 16 20:04:07 2020 +0100

    bump dns name
---
 src/core/core.conf.in      | 2 +-
 src/hostlist/hostlist.conf | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/core.conf.in b/src/core/core.conf.in
index 2b20a109a..00faf6079 100644
--- a/src/core/core.conf.in
+++ b/src/core/core.conf.in
@@ -9,7 +9,7 @@ UNIXPATH = $GNUNET_RUNTIME_DIR/gnunet-service-core.sock
 UNIX_MATCH_UID = NO
 UNIX_MATCH_GID = YES
 # DISABLE_SOCKET_FORWARDING = NO
-# USERNAME = 
+# USERNAME =
 # MAXBUF =
 # TIMEOUT =
 # DISABLEV6 =
diff --git a/src/hostlist/hostlist.conf b/src/hostlist/hostlist.conf
index 6b7a6aac7..0a31a23ad 100644
--- a/src/hostlist/hostlist.conf
+++ b/src/hostlist/hostlist.conf
@@ -20,7 +20,7 @@ HOSTLISTFILE = $GNUNET_CONFIG_HOME/hostlist/learned.txt
 OPTIONS = -b
 
 # Default list of hostlist servers for bootstrapping
-SERVERS = http://v11.gnunet.org/hostlist https://gnunet.io/hostlist
+SERVERS = http://v14.gnunet.org/hostlist https://gnunet.io/hostlist
 # http://silent.0xdeadc0de.eu:8080/
 
 # bind hostlist http server to a specific IPv4

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.