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

…m.ieee754b16-com.io7m.ieee754b16.core-3.0.1

Bump com.io7m.ieee754b16:com.io7m.ieee754b16.core from 3.0.0 to 3.0.1

pom.xml

@@ -122,7 +122,7 @@
       <dependency>
         <groupId>com.io7m.ieee754b16</groupId>
         <artifactId>com.io7m.ieee754b16.core</artifactId>
-        <version>3.0.0</version>
+        <version>3.0.1</version>
       </dependency>
       <dependency>
         <groupId>org.junit.jupiter</groupId>