From 3b94ea414825de7f64ff1596f2980a04612c8965 Mon Sep 17 00:00:00 2001
From: Grant Slater <github@firefishy.com>
Date: Tue, 8 Nov 2022 15:20:04 +0000
Subject: [PATCH] Remove errol from DNS

---
 src/hosts.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/hosts.js b/src/hosts.js
index 1593852..d923299 100644
--- a/src/hosts.js
+++ b/src/hosts.js
@@ -34,10 +34,6 @@ var DULCY_OOB = "10.0.49.9";
 var EDDIE_INTERNAL = "10.0.0.10";
 var EDDIE_OOB = "10.0.1.10";
 
-var ERROL_IPV4 = "193.60.236.13";
-var ERROL_INTERNAL = "10.0.0.14";
-var ERROL_OOB = "10.0.1.14";
-
 var EUSTACE_IPV4 = "193.60.236.14";
 var EUSTACE_INTERNAL = "10.0.0.9";
 var EUSTACE_OOB = "10.0.1.9";
-- 
2.39.5