diff --git a/VERSION b/VERSION index 0141f2b7e10..3def38a93f9 100644 --- a/VERSION +++ b/VERSION @@ -4,5 +4,5 @@ # MYSQL_VERSION_MAJOR=10 MYSQL_VERSION_MINOR=0 -MYSQL_VERSION_PATCH=11 +MYSQL_VERSION_PATCH=12 MYSQL_VERSION_EXTRA=