From 47c7906d55ce0ab0641bd0d4a5355bd5893ffd69 Mon Sep 17 00:00:00 2001 From: Gureumi <44261958+Kieaer@users.noreply.github.com> Date: Thu, 29 Jun 2023 22:48:39 +0900 Subject: [PATCH] Update servers_v7.json (#8776) --- servers_v7.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/servers_v7.json b/servers_v7.json index 2209def01aa4..122270630720 100644 --- a/servers_v7.json +++ b/servers_v7.json @@ -69,7 +69,7 @@ }, { "name": "Korea", - "address": ["mindustry.kr"] + "address": ["mindustry.kr", "mindustry.kr:7105"] }, { "name": "Phoenix Network",