Add kr server (#1951)

2020-05-02 07:29:57 +09:00
parent 9def4eaba4
commit 85eb62110d
1 changed files with 3 additions and 0 deletions
--- a/servers.json
+++ b/servers.json
@@ -40,5 +40,8 @@
  },
  {
    "address": "aamindustry.play.ai"
+  },
+  {
+    "address": "mindustry.kr"
  }
 ]