From 85eb62110d2a18c0688ee0be6efd1fec3dfc8b8b 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: Sat, 2 May 2020 07:29:57 +0900
Subject: [PATCH] Add kr server (#1951)

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

diff --git a/servers.json b/servers.json
index 18eff48b70..2d108bbab0 100644
--- a/servers.json
+++ b/servers.json
@@ -40,5 +40,8 @@
   },
   {
     "address": "aamindustry.play.ai"
+  },
+  {
+    "address": "mindustry.kr"
   }
 ]