diff --git a/VERSION b/VERSION index 5e6b76a6f352a56fd3631c1f0b542135346dc739..7e265f872f9ab38cc5aa429181caaa3365dbbc25 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -7.12.0.rc3 \ No newline at end of file +7.12.0 \ No newline at end of file