diff --git a/VERSION.txt b/VERSION.txt
index f844a8a86..a80bd7347 100644
--- a/VERSION.txt
+++ b/VERSION.txt
@@ -1 +1 @@
-"1.7.1"
+"1.7.2"