diff --git a/Version.txt b/Version.txt index 9511250685..9c054b1399 100644 --- a/Version.txt +++ b/Version.txt @@ -1,3 +1,3 @@ OR_TOOLS_MAJOR=9 -OR_TOOLS_MINOR=1 +OR_TOOLS_MINOR=2 #PRE_RELEASE=YES