mirror of
https://github.com/MariaDB/server.git
synced 2026-05-10 09:04:29 +02:00
MDEV-25466 Merge new release of InnoDB 5.7.34 to 10.2
This commit is contained in:
commit
922e676b43
2 changed files with 2 additions and 6 deletions
|
|
@ -41,7 +41,7 @@ Created 1/20/1994 Heikki Tuuri
|
|||
|
||||
#define INNODB_VERSION_MAJOR 5
|
||||
#define INNODB_VERSION_MINOR 7
|
||||
#define INNODB_VERSION_BUGFIX 33
|
||||
#define INNODB_VERSION_BUGFIX 34
|
||||
|
||||
/* The following is the InnoDB version as shown in
|
||||
SELECT plugin_version FROM information_schema.plugins;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue