diff --git a/VERSION b/VERSION index 40f8ae58e2..fd46a01d09 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -9.5.12 \ No newline at end of file +9.5.13 \ No newline at end of file