MDEV-23163 Merge new release of InnoDB 5.7.32 to 10.2

All relevant InnoDB changes from MySQL 5.7.32 have been applied
in preceding commits.
This commit is contained in:
Marko Mäkelä 2020-10-28 07:27:18 +02:00
parent afc9d00c66
commit 527ade2590

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 31
#define INNODB_VERSION_BUGFIX 32
/* The following is the InnoDB version as shown in
SELECT plugin_version FROM information_schema.plugins;