1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-07 17:42:39 +03:00

bump the VERSION

This commit is contained in:
Daniel Bartholomew
2018-07-02 20:55:10 -04:00
parent 71144afa96
commit 358ae4b46d

View File

@@ -1,4 +1,4 @@
MYSQL_VERSION_MAJOR=10
MYSQL_VERSION_MINOR=3
MYSQL_VERSION_PATCH=8
MYSQL_VERSION_PATCH=9
SERVER_MATURITY=stable