diff --git a/RELEASE b/RELEASE
index 39e898a4f9..7486fdbc50 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1 +1 @@
-0.7.1
+0.7.2