database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-08-11 09:43:05 +03:00
Code Activity

Update WSREP_PATCH_REVNO.

Browse Source
This commit is contained in:
Nirbhay Choubey
2016-02-10 18:04:08 -05:00
parent a6d0903764
commit b83de1151a
1 changed files with 1 additions and 1 deletions
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 "14")
# 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.5 # Branch : https://github.com/codership/mysql-wsrep/tree/5.5
SET(WSREP_PATCH_REVNO "4f81026") # Should be updated on every merge. SET(WSREP_PATCH_REVNO "9949137") # 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.