Merge pull request #1999 from edgarcosta/release-version-3.1

3.1.3-p1
flintlib · May 24, 2024 · 416e065 · 416e065
2 parents e0926f1 + 5df6353
commit 416e065
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-3.1.0
+3.1.3-p1