Merge "rdbms: make getMasterPos() ignore GTIDs outside of gtid_domain_id"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 23 Mar 2018 00:03:20 +0000 (00:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 23 Mar 2018 00:03:20 +0000 (00:03 +0000)
commit2ca643810711d424d2bb6cd6cacdfc57e4fe1225
tree5f889d3fb14b7173a36815feb974060d3dcfa77e
parente18a776e153d35e251c3857fb36f6d9595f6f6f5
parentceb7d61ee7ef3edc6705abd41ec86b3afcd9c491
Merge "rdbms: make getMasterPos() ignore GTIDs outside of gtid_domain_id"