# HG changeset patch
# User Wuzzy <Wuzzy2@mail.ru>
# Date 1544293825 -3600
# Node ID 1465f34973b5881b3217625d7ec5dc743c69c17d
# Parent  7f0166b01dc98c24082259030b5960b27cdf85cf
Whoops. Forgot to bump default gameServer MOTD to 0.9.25. :(

diff -r 7f0166b01dc9 -r 1465f34973b5 gameServer/CoreTypes.hs
--- a/gameServer/CoreTypes.hs	Wed Dec 05 11:34:45 2018 -0500
+++ b/gameServer/CoreTypes.hs	Sat Dec 08 19:30:25 2018 +0100
@@ -311,8 +311,8 @@
         True
         False
         "<h2><p align=center><a href=\"https://www.hedgewars.org/\">https://www.hedgewars.org/</a></p></h2>"
-        "<font color=yellow><h3 align=center>Hedgewars 0.9.24 is out! Please update.</h3><p align=center><a href=https://hedgewars.org/download.html>Download page here</a></font>"
-        55 -- latestReleaseVersion
+        "<font color=yellow><h3 align=center>Hedgewars 0.9.25 is out! Please update.</h3><p align=center><a href=https://hedgewars.org/download.html>Download page here</a></font>"
+        57 -- latestReleaseVersion
         41 -- earliestCompatibleVersion
         46631
         ""