diff --git a/src/VERSION b/src/VERSION
index ac2f7f3a..d7fe3752 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-1.25.12
+1.25.13