diff --git a/version.txt b/version.txt
index 19b4ae8e53..776617073a 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-0.13.0a0
+0.13.1a0