diff --git a/src/VERSION b/src/VERSION
index 93024105..f30ddb1f 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-1.13.00
+1.13.01