From 973e1eb02bd8fbb4189c47bc142de8f6c3549277 Mon Sep 17 00:00:00 2001
From: Daniel Hansson <github@hanssonit.se>
Date: Mon, 20 Sep 2021 00:27:31 +0200
Subject: [PATCH] change keyserver

https://sks-keyservers.net/overview-of-pools.php is taken down...
---
 lib.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib.sh b/lib.sh
index 7dda373a..ca74bd8d 100644
--- a/lib.sh
+++ b/lib.sh
@@ -1276,7 +1276,7 @@ install_if_not gnupg
 mkdir -p "$GPGDIR"
 curl_to_dir "$NCREPO" "$STABLEVERSION.tar.bz2.asc" "$GPGDIR"
 chmod -R 600 "$GPGDIR"
-gpg --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys "$OpenPGP_fingerprint"
+gpg --keyserver hkp://keyserver.ubuntu.com --recv-keys "$OpenPGP_fingerprint"
 gpg --verify "$GPGDIR/$STABLEVERSION.tar.bz2.asc" "$HTML/$STABLEVERSION.tar.bz2"
 rm -r "$SHA256_DIR"
 rm -r "$GPGDIR"