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