MDEV-23163 Merge new release of InnoDB 5.7.31 to 10.2

The only InnoDB change between MySQL 5.7.30 and MySQL 5.7.31
that is applicable to MariaDB Server was applied in
commit 8d061996e6531b2809aefb0ed96e0662b2c2882e (MDEV-23161).
This commit is contained in:
Marko Mäkelä 2020-07-14 15:13:40 +03:00
parent 646a6005e7
commit 07e89bf7d1

View File

@ -41,7 +41,7 @@ Created 1/20/1994 Heikki Tuuri
#define INNODB_VERSION_MAJOR 5
#define INNODB_VERSION_MINOR 7
#define INNODB_VERSION_BUGFIX 30
#define INNODB_VERSION_BUGFIX 31
/* The following is the InnoDB version as shown in
SELECT plugin_version FROM information_schema.plugins;