From df9d6bbfda541af7eb9482c39556edc1fc722131 Mon Sep 17 00:00:00 2001 From: Gureumi Date: Mon, 2 Mar 2026 04:18:40 +0900 Subject: [PATCH] Delete Korea server entry from servers_v7.json (#11729) --- servers_v7.json | 6 ------ 1 file changed, 6 deletions(-) diff --git a/servers_v7.json b/servers_v7.json index dbc5e920a7..c71563735e 100644 --- a/servers_v7.json +++ b/servers_v7.json @@ -310,12 +310,6 @@ "15.235.181.136:12171" ] }, - { - "name": "Korea", - "address": [ - "mindustry.kr" - ] - }, { "name": "Extra Utilities", "address": [