Updated version to 1.3.1

Hotmoka · Nov 4, 2023 · 0a083a7 · 0a083a7
1 parent 37472c3
commit 0a083a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -29,7 +29,7 @@ Note: submodules whose artifact must be deployed on Maven Central must activate
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     <maven.compiler.source>11</maven.compiler.source>
     <maven.compiler.target>11</maven.compiler.target>
-    <hotmoka.version>1.3.0</hotmoka.version>
+    <hotmoka.version>1.3.1</hotmoka.version>
     <takamaka.version>1.0.13</takamaka.version>
   </properties>