diff --git a/VERSION b/VERSION index 943f9cbc4ec7ee28e6febd1d4451df4c39bcb193..f8a696c8dc56436062b4d179d96c78cbbbb718d7 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -1.7.1 +1.7.2