The last commit was too quick, the changes to gtid_current_pos were just wrong. So remove them.
Attach a file by drag & drop or click to upload
