diff --git a/Version.txt b/Version.txt
index 3d5f981049..e96e4186e4 100644
--- a/Version.txt
+++ b/Version.txt
@@ -1,3 +1,3 @@
 OR_TOOLS_MAJOR=9
-OR_TOOLS_MINOR=11
+OR_TOOLS_MINOR=12
 #PRE_RELEASE=YES