From 7633d0a78fc0729141a4e631d652d13bbbfc937c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C3=ABl=20Defferrard?= <michael.defferrard@epfl.ch>
Date: Thu, 14 Mar 2019 01:39:40 +0100
Subject: [PATCH] travis: more reliable GPG key server

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 0e198510..6dac1059 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -20,7 +20,7 @@ addons:
   apt:
     sources:
     - sourceline: 'deb https://downloads.skewed.de/apt/xenial xenial universe'
-      key_url: 'https://sks-keyservers.net/pks/lookup?op=get&search=0x612DEFB798507F25'
+      key_url: 'http://ha.pool.sks-keyservers.net/pks/lookup?op=get&search=0x612DEFB798507F25'
     # TODO: remove the below once we drop python 2.7.
     - ubuntu-toolchain-r-test
     - sourceline: 'deb http://downloads.skewed.de/apt/trusty trusty universe'