1 files changed, 1 insertions, 1 deletions
diff --git a/version.txt b/version.txt
index 7d2424c90..28666e3e2 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-1.8.12
+1.8.13pre