# HG changeset patch
# User Wuzzy <Wuzzy2@mail.ru>
# Date 1558037226 -7200
# Node ID 4406994969c3dd8a822632fb5a0325566334b67c
# Parent  fe8b4f2da9aa78e2e1410d9ec7d517dd411741ab# Parent  9719a998670b56e0e287d446c8e760410151fac8
Merge antoc27's commits

diff -r fe8b4f2da9aa -r 4406994969c3 gameServer/hedgewars-server.cabal
--- a/gameServer/hedgewars-server.cabal	Thu May 16 21:49:33 2019 +0200
+++ b/gameServer/hedgewars-server.cabal	Thu May 16 22:07:06 2019 +0200
@@ -22,7 +22,7 @@
     containers,
     vector,
     bytestring,
-    network >= 2.3,
+    network >= 2.3 && < 3.0,
     random,
     time,
     mtl >= 2,
@@ -57,7 +57,7 @@
     containers,
     vector,
     bytestring,
-    network >= 2.3,
+    network >= 2.3 && < 3.0,
     mtl >= 2,
     sandi,
     hslogger,