jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/385972 )
Change subject: db-codfw.php: Repool db2037
..
db-codfw.php: Repool db2037
Change-Id:
Marostegui has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/385972 )
Change subject: db-codfw.php: Repool db2037
..
db-codfw.php: Repool db2037
Change-Id: If09c48077107fe1fb94454feff4613d037a476f8
---
M
jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/344081 )
Change subject: db-codfw.php: Repool db2037
..
db-codfw.php: Repool db2037
Finished alter table
Bug: T73563
Bug: T160415
Marostegui has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/344081 )
Change subject: db-codfw.php: Repool db2037
..
db-codfw.php: Repool db2037
Finished alter table
Bug: T73563
Bug: T160415
Change-Id: