[Maria-developers] Proposed changes to GTID syntax