[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Deploy gtid_domain_id to all the misc shards

Marostegui has submitted this change and it was merged. Change subject: mariadb: Deploy gtid_domain_id to all the misc shards .. mariadb: Deploy gtid_domain_id to all the misc shards This option is needed to be able to use

[MediaWiki-commits] [Gerrit] operations/puppet[production]: mariadb: Deploy gtid_domain_id to all the misc shards

Marostegui has uploaded a new change for review. https://gerrit.wikimedia.org/r/320731 Change subject: mariadb: Deploy gtid_domain_id to all the misc shards .. mariadb: Deploy gtid_domain_id to all the misc shards This