Merge antoc27's commits master_git
authorWuzzy <Wuzzy2@mail.ru>
Thu, 16 May 2019 22:07:06 +0200
changeset 15000 4406994969c3
parent 14999 fe8b4f2da9aa (current diff)
parent 14992 9719a998670b (diff)
child 15001 f359d8f86501
Merge antoc27's commits
--- 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,