[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: mariadb: Set db1097 as the main api server for s4
Jcrespo has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/377489 ) Change subject: mariadb: Set db1097 as the main api server for s4 .. mariadb: Set db1097 as the main api server for s4 Change-Id:
[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: mariadb: Set db1097 as the main api server for s4
Jcrespo has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/377489 ) Change subject: mariadb: Set db1097 as the main api server for s4 .. mariadb: Set db1097 as the main api server for s4 Change-Id: