summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.prev-version2
1 files changed, 1 insertions, 1 deletions
diff --git a/.prev-version b/.prev-version
index 61fcc8735..cdb98d26e 100644
--- a/.prev-version
+++ b/.prev-version
@@ -1 +1 @@
-5.1.2
+5.1.3