mirror of
https://github.com/MariaDB/server.git
synced 2025-11-27 05:41:41 +03:00
Fix some mistakes in the original merge found during review. mysql-test/include/concurrent.inc: Add missing lines mistakenly omitted in merge. mysql-test/include/mix1.inc: Revert wrong change done during merge. mysql-test/include/wait_for_status_var.inc.moved: Remove file which was accidentally not removed during conflict resolution in merge. mysql-test/r/innodb_mysql.result: Revert result file change following fixing root problem in merge.
60 KiB
60 KiB