From 9205ad0e2d4f0e0eaacb1dbc70425e72380078de Mon Sep 17 00:00:00 2001
From: "renovate-baret[bot]"
 <165508104+renovate-baret[bot]@users.noreply.github.com>
Date: Sun, 31 Mar 2024 18:55:26 +0000
Subject: [PATCH] Update dependency org.jgrapht:jgrapht-core to v1.5.2

---
 util/graph/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/graph/pom.xml b/util/graph/pom.xml
index 9e15ced7a..13dade017 100644
--- a/util/graph/pom.xml
+++ b/util/graph/pom.xml
@@ -20,7 +20,7 @@
         <dependency>
             <groupId>org.jgrapht</groupId>
             <artifactId>jgrapht-core</artifactId>
-            <version>1.5.1</version>
+            <version>1.5.2</version>
         </dependency>
         <dependency>
             <groupId>org.jgrapht</groupId>