diff --git a/release-scripts/VERSIONS.ini b/release-scripts/VERSIONS.ini new file mode 100644 index 0000000000..509ab402cb --- /dev/null +++ b/release-scripts/VERSIONS.ini @@ -0,0 +1,8 @@ +[default] +MAJOR_VERSION=5 +MINOR_VERSION=1 +PATCH_VERSION=0 +BRANCH=5.1 + +OLD_SHA1=5.0 +NEW_SHA1=v5.1.0