1 files changed, 1 insertions, 1 deletions

diff --git a/VERSION b/VERSION
index 943f9cbc4e..f8a696c8dc 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.7.1
+1.7.2