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