diff --git a/version.txt b/version.txt
index 7e32cd569..4ce3a1d3d 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-1.3
+1.3.1pre