1
0
mirror of https://github.com/MariaDB/server.git synced 2025-09-02 09:41:40 +03:00

References lp:1115708 - merged with wsrep branch, revision 3845

bzr merge -r3840..3845 lp:~codership/codership-mysql/5.5-23
This commit is contained in:
Seppo Jaakola
2013-02-05 22:48:40 +02:00
parent 18c97eea5c
commit e51a884e9c
9 changed files with 202 additions and 59 deletions

View File

@@ -17,7 +17,7 @@
# so WSREP_VERSION is produced regardless
# Set the patch version
SET(WSREP_PATCH_VERSION "7a")
SET(WSREP_PATCH_VERSION "7.1")
# Obtain patch revision number
SET(WSREP_PATCH_REVNO $ENV{WSREP_REV})