mirror of
https://github.com/MariaDB/server.git
synced 2026-01-13 06:03:12 +00:00
Other things: - Extended mysqltest to write GTID's for master and slave if sync_slave_with_master fails. Reviewer: Brandon Nesterenko <brandon.nesterenko@mariadb.com>