diff --git a/VERSION b/VERSION
index 8e7b3bd61..fd2a01863 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-3.1.0dev13
+3.1.0