set version to v0.5-release

dhewg · dhewg · commit 4575c6bd7b74 · 2019-09-25T14:25:24.000+02:00
diff --git a/tools/get_version.sh b/tools/get_version.sh
@@ -4,7 +4,7 @@ MAJOR=0
 MINOR=5
 BUILD=0
 REVISION=`git rev-list --count HEAD 2>/dev/null || echo "0"`
-STAGE="devel"
+STAGE="release"
 
 printf "$MAJOR.$MINOR.$BUILD.$REVISION-$STAGE"
 
