diff --git a/src/VERSION b/src/VERSION
index 943f9cbc4ec7..d69c06dee400 100644
--- a/src/VERSION
+++ b/src/VERSION
@@ -1 +1 @@
-1.7.1
+1.7.2-dev