From 7e2c830f9cb341ae9b420c8ec49c1e11b104a21c Mon Sep 17 00:00:00 2001
From: Ilya246 <57039557+Ilya246@users.noreply.github.com>
Date: Sat, 26 Jun 2021 00:01:38 +0400
Subject: [PATCH] Add .pl to 7.0 serverlist (#5466)

* Add .pl to 7.0 serverlist

.pl will move to 7.0 once b127 is out
Somka currently can't make a PR by himself so i asked him whether i should and, after a positive answer, did it for him

* Update servers_v7.json
---
 servers_v7.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/servers_v7.json b/servers_v7.json
index bc3cac26be..0269115244 100644
--- a/servers_v7.json
+++ b/servers_v7.json
@@ -2,6 +2,10 @@
   {
     "address": "mindustry.us.to"
   },
+  {
+    "name": "mindustry.pl",
+    "address": ["mindustry.pl:6000", "mindustry.pl:6666", "mindustry.pl:6966"]
+  },
   {
     "name": "[accent]Mindustry [red]Reborn",
     "address": "mindustry.me:7000"