mirror of
https://github.com/MariaDB/server.git
synced 2025-11-06 13:10:12 +03:00
namely, restart_mysqld_with_option.inc and kill_and_restart_mysqld.inc - use restart_mysqld.inc instead. Also remove innodb_wl6501_crash_stripped.inc that wasn't used anywhere.
2.6 KiB
2.6 KiB