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