mirror of
https://github.com/MariaDB/server.git
synced 2025-07-27 18:02:13 +03:00
Merge 5.1->5.1-rpl
Fix paths and name of a few files to make it work with new mtr.pl
This commit is contained in:
Fix paths and name of a few files to make it work with new mtr.pl