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

Updated WSREP_PATCH_REVNO.

This commit is contained in:
Nirbhay Choubey
2014-03-25 17:02:57 -04:00
parent 899f9801d4
commit 0a6924a3f3

View File

@@ -23,7 +23,7 @@ SET(WSREP_PATCH_VERSION "10")
# MariaDB addition: Revision number of the last revision merged from
# codership branch visible in @@visible_comment.
# Branch : codership-mysql/5.5
SET(WSREP_PATCH_REVNO "3928") # Should be updated on every merge.
SET(WSREP_PATCH_REVNO "3968") # Should be updated on every merge.
# MariaDB: Obtain patch revision number:
# Update WSREP_PATCH_REVNO if WSREP_REV environment variable is set.