set version to v0.7-release

dhewg · dhewg · commit 83b508d2e3bd · 2020-08-19T05:54:55.000+02:00
diff --git a/tools/get_version.sh b/tools/get_version.sh
@@ -4,7 +4,7 @@ MAJOR=0
 MINOR=7
 BUILD=0
 REVISION=`git rev-list --count HEAD 2>/dev/null || echo "0"`
-STAGE="devel"
+STAGE="release"
 
 printf "$MAJOR.$MINOR.$BUILD.$REVISION-$STAGE"
 
