[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "db-codfw.php: Depool db2034, db2055 and db2062"

2017-10-03 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/382115 ) Change subject: Revert "db-codfw.php: Depool db2034, db2055 and db2062" .. Revert "db-codfw.php: Depool db2034, db2055 and

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "db-codfw.php: Depool db2034, db2055 and db2062"

2017-10-03 Thread Marostegui (Code Review)
Hello Urbanecm, jenkins-bot, Jcrespo, I'd like you to do a code review. Please visit https://gerrit.wikimedia.org/r/382115 to review the following change. Change subject: Revert "db-codfw.php: Depool db2034, db2055 and db2062"