1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-03 05:41:09 +03:00
Files
mariadb/mysql-test/suite/innodb_plugin/t/innodb_bug11766634.opt
2012-05-17 12:12:33 +02:00

2 lines
16 B
Plaintext

--force-restart