1berry/MariaDB-server
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update WSREP_PATCH_REVNO.

Browse Source
This commit is contained in:
Nirbhay Choubey 2016-02-23 21:24:00 -05:00
parent 1b0d811d2d
commit 0fd9d5a656
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cmake/wsrep.cmake
View File

@ -23,7 +23,7 @@ SET(WSREP_PATCH_VERSION "13")
# MariaDB addition: Revision number of the last revision merged from # MariaDB addition: Revision number of the last revision merged from
# codership branch visible in @@visible_comment. # codership branch visible in @@visible_comment.
# Branch : https://github.com/codership/mysql-wsrep/tree/5.6 # Branch : https://github.com/codership/mysql-wsrep/tree/5.6
SET(WSREP_PATCH_REVNO "21a2415") # Should be updated on every merge. SET(WSREP_PATCH_REVNO "af7f02e") # Should be updated on every merge.
# MariaDB: Obtain patch revision number: # MariaDB: Obtain patch revision number:
# Update WSREP_PATCH_REVNO if WSREP_REV environment variable is set. # Update WSREP_PATCH_REVNO if WSREP_REV environment variable is set.