Merge branch 'v99bugfix' of github.com:google/or-tools into v99bugfix

2025-03-21 06:58:02 -07:00
parent 8efe3abd6b 0ff92769eb
commit 1c7b7d29d5
3 changed files with 3 additions and 3 deletions
--- a/MODULE.bazel
+++ b/MODULE.bazel
@@ -5,7 +5,7 @@
 # For more details, please check https://github.com/bazelbuild/bazel/issues/18958
 ###############################################################################

-OR_TOOLS_VERSION = "9.12"
+OR_TOOLS_VERSION = "9.13"

 module(
    name = "or-tools",
--- a/Version.txt
+++ b/Version.txt
@@ -1,3 +1,3 @@
 OR_TOOLS_MAJOR=9
-OR_TOOLS_MINOR=12
+OR_TOOLS_MINOR=13
 #PRE_RELEASE=YES
--- a/ortools/base/BUILD.bazel
+++ b/ortools/base/BUILD.bazel
@@ -50,7 +50,7 @@ cc_library(
    ],
    copts = [
        "-DOR_TOOLS_MAJOR=9",
-        "-DOR_TOOLS_MINOR=12",
+        "-DOR_TOOLS_MINOR=13",
        "-DOR_TOOLS_PATCH=9999",
    ],
    linkopts = select({