diff --git a/Version.txt b/Version.txt index d1cce46690..61b578ded7 100644 --- a/Version.txt +++ b/Version.txt @@ -1,2 +1,2 @@ OR_TOOLS_MAJOR=6 -OR_TOOLS_MINOR=9 +OR_TOOLS_MINOR=10