gerritbot added a comment.

Change 352543 merged by jenkins-bot:
[operations/mediawiki-config@master] db-codfw.php: Repool db2045, depool db2038

https://gerrit.wikimedia.org/r/352543


TASK DETAIL
https://phabricator.wikimedia.org/T162539

EMAIL PREFERENCES
https://phabricator.wikimedia.org/settings/panel/emailpreferences/

To: Marostegui, gerritbot
Cc: Stashbot, hoo, jcrespo, Marostegui, WMDE-leszek, Lydia_Pintscher, daniel, Aklapper, gerritbot, aude, Ladsgroup, Adik2382, Th3d3v1ls, Ramalepe, Liugev6, QZanden, Lewizho99, Minhnv-2809, Maathavan, Izno, Luke081515, Wikidata-bugs, Mbch331, Jay8g, Krenair
_______________________________________________
Wikidata-bugs mailing list
Wikidata-bugs@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs

Reply via email to