Update dependency org.jgrapht:jgrapht-core to v1.5.2

Baret · Mar 31, 2024 · 8bbb954 · 8bbb954
1 parent 85848da
commit 8bbb954
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>