1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-09 22:24:09 +03:00

bump the VERSION

This commit is contained in:
Daniel Bartholomew
2021-08-05 10:18:19 -04:00
parent b5569b6240
commit 20a9f0b511

View File

@@ -1,4 +1,4 @@
MYSQL_VERSION_MAJOR=10 MYSQL_VERSION_MAJOR=10
MYSQL_VERSION_MINOR=5 MYSQL_VERSION_MINOR=5
MYSQL_VERSION_PATCH=12 MYSQL_VERSION_PATCH=13
SERVER_MATURITY=stable SERVER_MATURITY=stable