[MediaWiki-commits] [Gerrit] Depool es1010 to clone it to es1017 - change (operations/mediawiki-config)

2015-09-01 Thread Jcrespo (Code Review)
Jcrespo has submitted this change and it was merged. Change subject: Depool es1010 to clone it to es1017 .. Depool es1010 to clone it to es1017 Bug: T105843 Change-Id: Id01e626460ff86b3e1a2a91724dd03ebe4c8c116 --- M

[MediaWiki-commits] [Gerrit] Depool es1010 to clone it to es1017 - change (operations/mediawiki-config)

2015-09-01 Thread Jcrespo (Code Review)
Jcrespo has uploaded a new change for review. https://gerrit.wikimedia.org/r/235193 Change subject: Depool es1010 to clone it to es1017 .. Depool es1010 to clone it to es1017 Bug: T105843 Change-Id: