[MediaWiki-commits] [Gerrit] Depool db1067 for maintenance - change (operations/mediawiki-config)

2015-11-11 Thread Jcrespo (Code Review)
Jcrespo has submitted this change and it was merged. Change subject: Depool db1067 for maintenance .. Depool db1067 for maintenance Change-Id: I359a477eeb35a3f093a8c40cc7a549bb0276f675 --- M wmf-config/db-codfw.php 1 file

[MediaWiki-commits] [Gerrit] Depool db1067 for maintenance - change (operations/mediawiki-config)

2015-11-11 Thread Jcrespo (Code Review)
Jcrespo has uploaded a new change for review. https://gerrit.wikimedia.org/r/252411 Change subject: Depool db1067 for maintenance .. Depool db1067 for maintenance Change-Id: I359a477eeb35a3f093a8c40cc7a549bb0276f675 --- M