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

Bump WSREP_PATCH_VERSION in cmake/wsrep.cmake to 13

This commit is contained in:
Philip Stoev
2015-11-16 04:07:08 -08:00
committed by Nirbhay Choubey
parent 1ce821b509
commit 403a8bf8df

View File

@@ -18,7 +18,7 @@
# so WSREP_VERSION is produced regardless
# Set the patch version
SET(WSREP_PATCH_VERSION "12")
SET(WSREP_PATCH_VERSION "13")
# MariaDB addition: Revision number of the last revision merged from
# codership branch visible in @@visible_comment.