From f34ec77312ae06d531d46653a30a336c1874410b Mon Sep 17 00:00:00 2001
From: Ilya246 <57039557+Ilya246@users.noreply.github.com>
Date: Sat, 16 Jul 2022 19:31:20 +0400
Subject: [PATCH] distributorium rename to .pl (#7182)

this has already been discussed by us and does not need comment confirmation
---
 servers_v7.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/servers_v7.json b/servers_v7.json
index 61cb20b9d6..5d4f468c07 100644
--- a/servers_v7.json
+++ b/servers_v7.json
@@ -1,6 +1,6 @@
 [
   {
-    "name": "distributorium",
+    "name": "mindustry.pl",
     "address": ["0.baseduser.eu.org:6966", "0.baseduser.eu.org:6666", "0.baseduser.eu.org:6000"]
   },
   {