From 90c145b51b6faa43e39fc020698699f23d805715 Mon Sep 17 00:00:00 2001
From: Andrew Engelbrecht <andrew@fsf.org>
Date: Thu, 5 Sep 2019 11:17:00 -0400
Subject: [PATCH] updated list of usable key servers

---
 fsf-keyring.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fsf-keyring.sh b/fsf-keyring.sh
index b7da8c3..95d57ac 100755
--- a/fsf-keyring.sh
+++ b/fsf-keyring.sh
@@ -11,7 +11,7 @@ refresh-gpg-key() {
   key=$1
 
   error=999
-  for keyserver in pgp.mit.edu keyring.debian.org keys.gnupg.net; do
+  for keyserver in keyring.debian.org keys.gnupg.net keyserver.ubuntu.com pool.sks-keyservers.net; do
     set +e
     cmd="gpg --keyserver $keyserver --recv-keys $key"
     # keyservers are not very reliable, so retry
-- 
2.25.1