diff --git a/VERSION b/VERSION
index 65185f8683..4347110041 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.12.13-dev
+1.12.13