From 7a48cd061f83856f8acf1232ef61670824087fb8 Mon Sep 17 00:00:00 2001
From: Ben Kurtovic <ben.kurtovic@verizon.net>
Date: Sat, 16 Jul 2011 15:43:31 -0400
Subject: [PATCH] change keyserver to a more well-known one

---
 _layouts/home.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_layouts/home.html b/_layouts/home.html
index bf090f3..dd81a08 100644
--- a/_layouts/home.html
+++ b/_layouts/home.html
@@ -23,8 +23,8 @@ layout: base
                         <td class="about-r dark-r"><a href="irc://irc.freenode.net/##earwig">Earwig</a> on <a href="irc://irc.freenode.net">irc.freenode.net</a></td>
                     </tr>
                     <tr>
-                        <td class="about-l light-l">OpenPGP Key</td>
-                        <td class="about-r light-r"><a href="http://keyserver.ubuntu.com:11371/pks/lookup?search=0x8A19649AE8DBB515&amp;fingerprint=on&amp;op=index">E8DBB515</a></td>
+                        <td class="about-l light-l">PGP Key</td>
+                        <td class="about-r light-r"><a href="http://pgp.mit.edu:11371/pks/lookup?search=0x8A19649AE8DBB515&fingerprint=on&op=index">E8DBB515</a></td>
                     </tr>
                     <tr>
                         <td class="about-l dark-l">GitHub</td>