Merge pull request #34 from io7m-com/dependabot/maven/develop/org.cho…

…co-solver-choco-solver-4.10.17 Bump org.choco-solver:choco-solver from 4.10.16 to 4.10.17
io7m-com · Sep 23, 2024 · a141447 · a141447
2 parents 9ae03b5 + b165343
commit a141447
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -178,7 +178,7 @@
       <dependency>
         <groupId>org.choco-solver</groupId>
         <artifactId>choco-solver</artifactId>
-        <version>4.10.16</version>
+        <version>4.10.17</version>
       </dependency>
 
       <!-- CLI -->