diff --git a/RELEASE b/RELEASE index 7486fdbc50..f38fc5393f 100644 --- a/RELEASE +++ b/RELEASE @@ -1 +1 @@ -0.7.2 +0.7.3