From 98f012feb8802dbaff7280bf9de4c65becb65d87 Mon Sep 17 00:00:00 2001 From: AydenRennaker Date: Tue, 5 May 2020 12:46:53 -0600 Subject: [PATCH] Update servers.json (#1989) * Update servers.json * added a record to server name. Server has moderation, logging of user actions with /history, custom maps. Ready for players. --- servers.json | 3 +++ 1 file changed, 3 insertions(+) diff --git a/servers.json b/servers.json index 2d108bbab0..25b4c3b8df 100644 --- a/servers.json +++ b/servers.json @@ -43,5 +43,8 @@ }, { "address": "mindustry.kr" + }, + { + "address": "mindustry.atannergaming.com" } ]