diff --git a/VERSION b/VERSION
index 2bbaead448..8aea167e72 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-7.2.4
+7.2.5