mirror of
https://github.com/MariaDB/server.git
synced 2025-12-07 17:42:39 +03:00
The relevant InnoDB/XtraDB fixes up to 5.6.42 had already been applied to MariaDB in commit30c3d6db32. Revert some changes that appeared in the merge commit87d852f102.
93 KiB
93 KiB