Merge pull request #52 from gwenn/dependabot/maven/manifold.version-2…

…023.1.30 Bump manifold.version from 2023.1.29 to 2023.1.30
gwenn · Nov 13, 2023 · a91b02d · a91b02d
2 parents 2de3c6b + 1f3d83f
commit a91b02d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -40,7 +40,7 @@
     <maven.compiler.source>${java.version}</maven.compiler.source>
     <maven.compiler.target>${java.version}</maven.compiler.target>
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-    <manifold.version>2023.1.29</manifold.version>
+    <manifold.version>2023.1.30</manifold.version>
   </properties>
 
   <dependencies>