diff --git a/tools/version_utils.py b/tools/version_utils.py
index 048e00ecd17c..758a0e9b95f6 100644
--- a/tools/version_utils.py
+++ b/tools/version_utils.py
@@ -6,7 +6,7 @@
 MAJOR = 1
 MINOR = 12
 MICRO = 0
-ISRELEASED = False
+ISRELEASED = True
 IS_RELEASE_BRANCH = True
 VERSION = '%d.%d.%d' % (MAJOR, MINOR, MICRO)