diff --git a/VERSION b/VERSION index fc7fd54333828..c7cc3e5fa5150 100644 --- a/VERSION +++ b/VERSION @@ -1,5 +1,5 @@ VERSION_MAJOR = 4 VERSION_MINOR = 2 -PATCHLEVEL = 0 +PATCHLEVEL = 1 VERSION_TWEAK = 0 EXTRAVERSION =