release 5.1.3

sea75300 · Oct 29, 2023 · d813605 · d813605
1 parent 8c5d480
commit d813605
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/version.txt b/version.txt
@@ -1 +1 @@
-5.1.2
+5.1.3