diff --git a/version.txt b/version.txt
index ac2f7f3a47..d7fe375256 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-1.25.12
+1.25.13