updated list of usable key servers

diff --git a/fsf-keyring.sh b/fsf-keyring.sh
index b7da8c35cfca867cbf409ecf17a0c9c78990d86a..95d57ac7c632eac1470c862a6de1b158adc44c98 100755 (executable)
--- 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