mirror of
https://github.com/MariaDB/server.git
synced 2025-08-07 00:04:31 +03:00
Fixed test for bug #13525 "Rename table does not keep info of triggers"
after merging fix for it with main tree.
This commit is contained in: