Re: [Maria-developers] GTID: On the difference between master_use_gtid = slave_pos or current_pos