From fa55bd608ce625c9d6fc0ad5e3bd2efa2ef8366a Mon Sep 17 00:00:00 2001
From: Henrik Levkowetz <henrik@levkowetz.com>
Date: Mon, 9 Jun 2014 21:46:23 +0000
Subject: [PATCH] Fixed a bug in the mkrelease script, introduced by changing
 the naming convention for development tags from X.Y.Z-dev to X.Y.Z-dev0
 (etc.).  - Legacy-Id: 7873

---
 bin/mkrelease | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/mkrelease b/bin/mkrelease
index 530fe45a4..e9008c371 100755
--- a/bin/mkrelease
+++ b/bin/mkrelease
@@ -190,7 +190,7 @@ note "Verifying there's no uncommitted changes..."
 $do svn st | grep "^[AMGRD] " && die "There seems to be uncommitted changes in this working copy"
 
 note "\nUpdating the version info in $VERFILE and making sure'\$Rev\$' is Ok"
-$do sed -i -r -e "/^__version__/s/\"[.0-9]+(-dev)?\"/\"$VER\"/" \
+$do sed -i -r -e "/^__version__/s/\"[.0-9]+(-dev[0-9]*)?\"/\"$VER\"/" \
 	  -e "/^__rev__/s/\".*\"/\"\$Rev:\$\"/" \
 	$VERFILE