[MediaWiki-commits] [Gerrit] Repool es1010, pool es1017 for the first time - change (operations/mediawiki-config)
Jcrespo has submitted this change and it was merged. Change subject: Repool es1010, pool es1017 for the first time .. Repool es1010, pool es1017 for the first time Repool es1010 with lower wait after restart. Also low, es1017,
[MediaWiki-commits] [Gerrit] Repool es1010, pool es1017 for the first time - change (operations/mediawiki-config)
Jcrespo has uploaded a new change for review. https://gerrit.wikimedia.org/r/235276 Change subject: Repool es1010, pool es1017 for the first time .. Repool es1010, pool es1017 for the first time Repool es1010 with lower wait