1 files changed, 1 insertions, 1 deletions

diff --git a/VERSION b/VERSION
index 4625f55e26..c0d5d580b2 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-7.2.12
+7.2.13