From 86b769bd2786731aa3f29ed1abf5501a7147e4c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=ED=82=A4=EC=97=90=EB=A5=B4?=
 <44261958+Kieaer@users.noreply.github.com>
Date: Wed, 3 Jun 2020 08:00:43 +0900
Subject: [PATCH] Remove kr server (#2134)

---
 servers.json | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/servers.json b/servers.json
index 0ff2484091..84da35bf75 100644
--- a/servers.json
+++ b/servers.json
@@ -41,9 +41,6 @@
   {
     "address": "aamindustry.play.ai"
   },
-  {
-    "address": "mindustry.kr"
-  },
   {
     "address": "mindustry.atannergaming.com"
   },