1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

rename rpl/rpl_alter_instant -> rpl/rpl_alter_innodb

This commit is contained in:
Nikita Malyavin
2022-07-19 16:36:32 +03:00
committed by Sergei Golubchik
parent 754c8dab52
commit daebec6093
2 changed files with 0 additions and 0 deletions