diff --git a/VERSION b/VERSION index 1f43c6b2..9418b3da 100644 --- a/VERSION +++ b/VERSION @@ -1,2 +1,2 @@ VERSION="4.7.2" -REVISION="40708" +REVISION="40710"