Update version to 3.1.0-RELEASE
Also include the last commit's git hash in bin/save-version.sh
Change-Id: Id0327d18f2f1bbdfd430847cf4d414e190319fef
diff --git a/bin/save-version.sh b/bin/save-version.sh
index 0a433dd..4cbbc1b 100755
--- a/bin/save-version.sh
+++ b/bin/save-version.sh
@@ -21,8 +21,8 @@
# 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=3.1.0-SNAPSHOT
-GIT_HASH=$(git rev-parse HEAD 2> /dev/null)
+VERSION=3.1.0-RELEASE
+GIT_HASH="7d3e9beee8d91bf775103ee9b362dcd08114abd4"
if [ -z $GIT_HASH ]
then
GIT_HASH="Could not obtain git hash"