Merge branch 'main' of github.com:jbellis/jvector into main

jbellis · Oct 1, 2023 · 86858ed · 86858ed
2 parents 78b76fc + 1cf102b
commit 86858ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -41,7 +41,7 @@
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
         <maven.install.skip>true</maven.install.skip>
-        <revision>0.9.4-SNAPSHOT</revision>
+        <revision>1.0.1-SNAPSHOT</revision>
     </properties>
     <modules>
         <module>jvector-base</module>