diff --git a/VERSION b/VERSION index a3233349b7..1d99ed7066 100644 --- a/VERSION +++ b/VERSION @@ -1,4 +1,4 @@ -version=3.12 +version=3.13 buildnr= tag= branch=