Re: [Maria-developers] Unexpected contents of mysql.gtid_slave_pos