Merge pull request #24 from io7m-com/dependabot/maven/develop/jqwik.v…

…ersion-1.8.5 Bump jqwik.version from 1.8.4 to 1.8.5
io7m-com · May 27, 2024 · 26331bb · 26331bb
2 parents 4e6f88f + ef573a1
commit 26331bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -39,7 +39,7 @@
 
     <!-- Third-party dependencies. -->
     <derby.version>10.17.1.0</derby.version>
-    <jqwik.version>1.8.4</jqwik.version>
+    <jqwik.version>1.8.5</jqwik.version>
     <junit.version>5.10.2</junit.version>
   </properties>