From 964f02f8570736424ef46d9dd6297c27a347f2c3 Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Mon, 1 Jun 2020 03:03:58 +0100
Subject: [PATCH] use more reliable keyserver

---
 scripts/pacman-key.sh.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/pacman-key.sh.in b/scripts/pacman-key.sh.in
index ad84368ed..f5bcdbad0 100644
--- a/scripts/pacman-key.sh.in
+++ b/scripts/pacman-key.sh.in
@@ -40,7 +40,7 @@ FINGER=0
 IMPORT=0
 IMPORT_TRUSTDB=0
 INIT=0
-KEYSERVER='hkp://keys.gnupg.net'
+KEYSERVER='hkp://keyserver.ubuntu.com:80'
 LISTKEYS=0
 LISTSIGS=0
 LSIGNKEY=0