diff --git a/VERSION b/VERSION index 7deb86fe..d5cc44d1 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.7.1 \ No newline at end of file +0.7.2 \ No newline at end of file