[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: mariadb: Set db1097 as the main api server for s4

2017-09-13 Thread Jcrespo (Code Review)
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

2017-09-12 Thread Jcrespo (Code Review)
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: