Re: [Maria-developers] Proposed changes to GTID syntax