From 06fc969a4ecd7930a28f609daf507d238fc78ea1 Mon Sep 17 00:00:00 2001
From: Corentin Le Molgat <corentinl@google.com>
Date: Fri, 10 Nov 2023 16:36:07 +0100
Subject: [PATCH] dependencies: Bump re2 from 2023-09-01 to 2023-11-01

---
 Dependencies.txt                  | 2 +-
 WORKSPACE                         | 2 +-
 cmake/dependencies/CMakeLists.txt | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Dependencies.txt b/Dependencies.txt
index 780323c990a..f40b518397a 100644
--- a/Dependencies.txt
+++ b/Dependencies.txt
@@ -6,6 +6,6 @@ Clp=1.17.7
 Osi=0.108.7
 CoinUtils=2.11.6
 Eigen=3.4.0
-Re2=2023-09-01
+Re2=2023-11-01
 HiGHS=v1.6.0
 Scip=v804
diff --git a/WORKSPACE b/WORKSPACE
index 0edbabed6ad..03f1e6d18c2 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -84,7 +84,7 @@ new_git_repository(
 ## Re2
 git_repository(
     name = "com_google_re2",
-    tag = "2023-09-01",
+    tag = "2023-11-01",
     remote = "https://github.com/google/re2.git",
 )
 
diff --git a/cmake/dependencies/CMakeLists.txt b/cmake/dependencies/CMakeLists.txt
index 409fa29f2b7..44f17db3b82 100644
--- a/cmake/dependencies/CMakeLists.txt
+++ b/cmake/dependencies/CMakeLists.txt
@@ -121,8 +121,8 @@ if(BUILD_re2)
   FetchContent_Declare(
     re2
     GIT_REPOSITORY "https://github.com/google/re2.git"
-    GIT_TAG "2023-09-01"
-    #PATCH_COMMAND git apply --ignore-whitespace "${CMAKE_CURRENT_LIST_DIR}/../../patches/re2-2023-09-01.patch"
+    GIT_TAG "2023-11-01"
+    #PATCH_COMMAND git apply --ignore-whitespace "${CMAKE_CURRENT_LIST_DIR}/../../patches/re2-2023-11-01.patch"
   )
   FetchContent_MakeAvailable(re2)
   list(POP_BACK CMAKE_MESSAGE_INDENT)