mirror of
https://github.com/MariaDB/server.git
synced 2025-01-28 01:34:17 +01:00
Updated WSREP_PATCH_REVNO.
This commit is contained in:
parent
f20b1fd5e3
commit
f64a0c3f85
1 changed files with 1 additions and 1 deletions
|
@ -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 "3997") # Should be updated on every merge.
|
||||
SET(WSREP_PATCH_REVNO "4013") # Should be updated on every merge.
|
||||
|
||||
# MariaDB: Obtain patch revision number:
|
||||
# Update WSREP_PATCH_REVNO if WSREP_REV environment variable is set.
|
||||
|
|
Loading…
Add table
Reference in a new issue