From b6ce79e634ca1f7336b1869aabe4c4694063fd0b Mon Sep 17 00:00:00 2001
From: "Ignacio R. Morelle" <shadowm@wesnoth.org>
Date: Mon, 10 Mar 2014 17:00:10 -0300
Subject: [PATCH] update_server: The 1.12 branch now exists

---
 utils/mp-server/update_server | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/mp-server/update_server b/utils/mp-server/update_server
index a8242fcc788..7bf789e619c 100755
--- a/utils/mp-server/update_server
+++ b/utils/mp-server/update_server
@@ -32,7 +32,7 @@ case "$VERSION" in
 1.4)   CXXFLAGS="$CXXFLAGS -ggdb3 -DNUM_SHARDS=7 -DBANDWIDTH_MONITOR"
        SCONS=no
        cd "$SOURCE"/1.4 ;;
-1.6|1.8|1.10)
+1.6|1.8|1.10|1.12)
        CXXFLAGS="$CXXFLAGS -ggdb3 -DNUM_SHARDS=7 -DBANDWIDTH_MONITOR"
        cd "$SOURCE"/$VERSION ;;
 1.9)