mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-16 12:02:42 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

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
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 "14")
# MariaDB addition: Revision number of the last revision merged from
# codership branch visible in @@visible_comment.
# 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:
# Update WSREP_PATCH_REVNO if WSREP_REV environment variable is set.