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

more 32-bit fixes

This commit is contained in:
Sergei Golubchik
2015-09-04 08:47:29 +02:00
parent 1a599c79ff
commit d33c8831e8

View File

@@ -1221,8 +1221,8 @@
COMMAND_LINE_ARGUMENT OPTIONAL
VARIABLE_NAME INNODB_VERSION
SESSION_VALUE NULL
-GLOBAL_VALUE 5.6.25
+GLOBAL_VALUE 5.6.24-72.2
-GLOBAL_VALUE 5.6.26
+GLOBAL_VALUE 5.6.25-73.1
GLOBAL_VALUE_ORIGIN COMPILE-TIME
DEFAULT_VALUE NULL
VARIABLE_SCOPE GLOBAL