From 376e3d6ef100570d94f3ea75486ff0c862667592 Mon Sep 17 00:00:00 2001
From: fuzzbuck <54221024+fuzzbuck@users.noreply.github.com>
Date: Sat, 1 Feb 2020 23:14:06 +0100
Subject: [PATCH] Add mindustry.io to servers.json (#1467)

- huge community (~1.5k members)
- anti-grief measures (discord bot <-> in-game moderation)
- huge map pool (50+)
- stable, powerful server based in europe
---
 servers.json | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/servers.json b/servers.json
index cada39c4c8..8f6e4d3491 100644
--- a/servers.json
+++ b/servers.json
@@ -10,5 +10,17 @@
   },
   {
     "address": "mindustry.ru"
+  },
+  {
+    "address": "mindustry.io"
+  },
+  {
+    "address": "mindustry.io:1000"
+  },
+  {
+    "address": "mindustry.io:2000"
+  },
+  {
+    "address": "mindustry.io:3000"
   }
 ]