diff --git a/VERSION b/VERSION index 68275195b0..0409f3ad4a 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.25.12 \ No newline at end of file +0.25.13 \ No newline at end of file