From 7dc5d64cbabb58d7f13206c5c4898dad3fe0db7d Mon Sep 17 00:00:00 2001
From: Andreas Schildbach <andreas@schildbach.de>
Date: Thu, 3 May 2018 20:30:42 +0200
Subject: [PATCH] Remove server from default list: cryptohead.de (#4320)

---
 lib/servers.json | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/lib/servers.json b/lib/servers.json
index 5f43bce14..05029bde3 100644
--- a/lib/servers.json
+++ b/lib/servers.json
@@ -74,11 +74,6 @@
         "s": "995",
         "version": "1.2"
     },
-    "cryptohead.de": {
-        "pruning": "-",
-        "s": "50002",
-        "version": "1.2"
-    },
     "daedalus.bauerj.eu": {
         "pruning": "-",
         "s": "50002",