Update jxe.

io7m-com · Aug 9, 2023 · 327370a · 327370a
1 parent 0300abd
commit 327370a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -31,7 +31,7 @@
 
   <properties>
     <com.io7m.junit.version>5.10.0</com.io7m.junit.version>
-    <com.io7m.jxe.version>1.0.0</com.io7m.jxe.version>
+    <com.io7m.jxe.version>1.0.2</com.io7m.jxe.version>
     <io7m.api.previousVersion>2.0.0-SNAPSHOT</io7m.api.previousVersion>
     <jqwik.version>1.7.4</jqwik.version>
   </properties>