diff --git a/VERSION.txt b/VERSION.txt
index 79e6b01ac..7486fdbc5 100644
--- a/VERSION.txt
+++ b/VERSION.txt
@@ -1 +1 @@
-0.7.1.99
+0.7.2