Update WSREP_PATCH_REVNO.

MariaDB · Feb 10, 2016 · b83de11 · b83de11
1 parent a6d0903
commit b83de11
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cmake/wsrep.cmake b/cmake/wsrep.cmake
@@ -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.