diff --git a/VERSION b/VERSION index 59d5adaa3cef98..790e36ffabf977 100644 --- a/VERSION +++ b/VERSION @@ -2,4 +2,4 @@ VERSION_MAJOR = 1 VERSION_MINOR = 13 PATCHLEVEL = 0 VERSION_TWEAK = 0 -EXTRAVERSION = rc3 +EXTRAVERSION =