1
0
mirror of https://github.com/MariaDB/server.git synced 2026-10-23 18:49:29 +03:00

Bumping server version. (10.0.13-galera)

This commit is contained in:
Nirbhay Choubey
2014-06-30 09:03:29 -04:00
parent 7ed27e1b8e
commit fbf3974652

View File

@@ -4,5 +4,5 @@
#
MYSQL_VERSION_MAJOR=10
MYSQL_VERSION_MINOR=0
MYSQL_VERSION_PATCH=12
MYSQL_VERSION_PATCH=13
MYSQL_VERSION_EXTRA=