Merge pull request #25 from io7m-com/dependabot/maven/develop/com.io7…

…m.jdeferthrow-com.io7m.jdeferthrow.core-1.3.0 Bump com.io7m.jdeferthrow:com.io7m.jdeferthrow.core from 1.2.0 to 1.3.0
io7m-com · Jun 3, 2024 · 0f2d450 · 0f2d450
2 parents 80e38a6 + 3807196
commit 0f2d450
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -118,7 +118,7 @@
       <dependency>
         <groupId>com.io7m.jdeferthrow</groupId>
         <artifactId>com.io7m.jdeferthrow.core</artifactId>
-        <version>1.2.0</version>
+        <version>1.3.0</version>
       </dependency>
       <dependency>
         <groupId>org.jgrapht</groupId>