From 9ee2e010d6af1d9c1ca6dc04934ef675ec7b0438 Mon Sep 17 00:00:00 2001
From: niusmallnan <niusmallnan@gmail.com>
Date: Wed, 14 Mar 2018 22:25:20 +0800
Subject: [PATCH] Remove gpg keyserver ha.pool.sks-keyservers.net

(cherry picked from commit dd4e7b824761685eab768995389e3e34edffe2ef)
---
 scripts/download | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/download b/scripts/download
index e161b3b..ec705ee 100755
--- a/scripts/download
+++ b/scripts/download
@@ -17,7 +17,6 @@ curl -sL ${KERNEL_URL}${KERNEL_SIGN} > ${KERNEL_SIGN}
 # grab gregkh's stable signing key
 GPG_KEY="6092693E"
 gpg2 --keyserver hkp://keys.gnupg.net --recv-keys $GPG_KEY \
-  || gpg2 --keyserver ha.pool.sks-keyservers.net --recv-keys $GPG_KEYS \
   || gpg2 --keyserver pgp.mit.edu --recv-keys $GPG_KEYS \
   || gpg2 --keyserver keyserver.pgp.com --recv-keys $GPG_KEYS