1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

bump the version

This commit is contained in:
Sergei Golubchik
2016-03-08 09:06:02 +01:00
parent 33d298493d
commit 8c2fd5537b

View File

@@ -1,3 +1,3 @@
MYSQL_VERSION_MAJOR=10
MYSQL_VERSION_MINOR=1
MYSQL_VERSION_PATCH=12
MYSQL_VERSION_PATCH=13