Bump com.io7m.jdeferthrow:com.io7m.jdeferthrow.core from 1.2.0 to 1.3.0

Bumps [com.io7m.jdeferthrow:com.io7m.jdeferthrow.core](https://github.com/io7m-com/jdeferthrow) from 1.2.0 to 1.3.0.
- [Changelog](https://github.com/io7m-com/jdeferthrow/blob/develop/README-CHANGES.xml)
- [Commits](io7m-com/jdeferthrow@com.io7m.jdeferthrow-1.2.0...com.io7m.jdeferthrow-1.3.0)

---
updated-dependencies:
- dependency-name: com.io7m.jdeferthrow:com.io7m.jdeferthrow.core
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

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>