replaced one of the unreliable key servers

pgp.mit.edu is very slow or times out

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