mirror of
https://github.com/MariaDB/server.git
synced 2026-04-20 07:15:33 +02:00
fix test results after the merge
This commit is contained in:
parent
cceec7858f
commit
5a4ec8e60b
1 changed files with 1 additions and 1 deletions
|
|
@ -367,7 +367,7 @@ READ_ONLY NO
|
|||
COMMAND_LINE_ARGUMENT OPTIONAL
|
||||
VARIABLE_NAME WSREP_PATCH_VERSION
|
||||
SESSION_VALUE NULL
|
||||
GLOBAL_VALUE wsrep_25.11
|
||||
GLOBAL_VALUE wsrep_25.13
|
||||
GLOBAL_VALUE_ORIGIN COMPILE-TIME
|
||||
DEFAULT_VALUE NULL
|
||||
VARIABLE_SCOPE GLOBAL
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue