[MediaWiki-commits] [Gerrit] operations/software[master]: x1.hosts: Remove old hosts

2017-01-23 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/333662 ) Change subject: x1.hosts: Remove old hosts .. x1.hosts: Remove old hosts Looks like db2008 and db2009 are no longer valid hosts

[MediaWiki-commits] [Gerrit] operations/software[master]: x1.hosts: Remove old hosts

2017-01-23 Thread Marostegui (Code Review)
Marostegui has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/333662 ) Change subject: x1.hosts: Remove old hosts .. x1.hosts: Remove old hosts Looks like db2008 and db2009 are no longer valid hosts as per t