Update version to 2.12.0-RELEASE

Change-Id: Ib19da2c37d76b7dd2dcd71e8725948b92652f20f
diff --git a/bin/save-version.sh b/bin/save-version.sh
index 9ead5be..f416b02 100755
--- a/bin/save-version.sh
+++ b/bin/save-version.sh
@@ -21,7 +21,7 @@
 # Note: for internal (aka pre-release) versions, the version should have
 # "-INTERNAL" appended. Parts of the code will look for this to distinguish
 # between released and internal versions.
-VERSION=2.12.0-SNAPSHOT
+VERSION=2.12.0-RELEASE
 GIT_HASH=$(git rev-parse HEAD 2> /dev/null)
 if [ -z $GIT_HASH ]
 then