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

Merge from mysql-5.1 (bump the version).

This commit is contained in:
Alexander Nozdrin
2011-04-11 13:49:05 +04:00

View File

@@ -1,4 +1,4 @@
MYSQL_VERSION_MAJOR=5
MYSQL_VERSION_MINOR=5
MYSQL_VERSION_PATCH=12
MYSQL_VERSION_PATCH=13
MYSQL_VERSION_EXTRA=