From f80feb9edf970e25b09ba50bcf3ae10aef804c08 Mon Sep 17 00:00:00 2001
From: David Lechner <david@lechnology.com>
Date: Sun, 13 Nov 2016 05:14:11 -0600
Subject: [PATCH] docs: more explicit key server (#861)

Use full URL with port for key server. Also use port 80 to work around firewalls and proxies.

Fixes: #859
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 7d12714e..0c8401f2 100644
--- a/README.md
+++ b/README.md
@@ -38,7 +38,7 @@ installers for all supported operating systems.
 2. Trust Bintray.com's GPG key:
 
     ```sh
-    sudo apt-key adv --keyserver pgp.mit.edu --recv-keys 379CE192D401AB61
+    sudo apt-key adv --keyserver hkp://pgp.mit.edu:80 --recv-keys 379CE192D401AB61
     ```
 
 3. Update and install: