[gnunet] branch master updated: Hostlist: Changed hostlist server.

[gnunet]

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

t3sserakt pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new c00dfd8e4 Hostlist: Changed hostlist server.
     new 03e7efb9f Merge branch 'master' of ssh://git.gnunet.org/gnunet
c00dfd8e4 is described below

commit c00dfd8e42af7df167c71f75866d4485c767a7da
Author: t3sserakt <t3ss@posteo.de>
AuthorDate: Thu Nov 9 18:03:37 2023 +0100

    Hostlist: Changed hostlist server.
---
 src/service/hostlist/hostlist.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/service/hostlist/hostlist.conf 
b/src/service/hostlist/hostlist.conf
index d994ce9fb..306d83c78 100644
--- a/src/service/hostlist/hostlist.conf
+++ b/src/service/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://v15.gnunet.org/hostlist https://gnunet.io/hostlist
+SERVERS = https://v21.gnunet.org/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.