gerritbot added a comment.

Change 394207 merged by jenkins-bot:
[operations/mediawiki-config@master] wdbuild: add switch to ease killing

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


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

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

To: Addshore, gerritbot
Cc: WMDE-leszek, Stashbot, gerritbot, aude, Addshore, Aklapper, Lahi, Gq86, Baloch007, Lordiis, GoranSMilovanovic, Adik2382, Th3d3v1ls, Ramalepe, Liugev6, QZanden, Lewizho99, Maathavan, Liudvikas, Luke081515, Wikidata-bugs, zeljkofilipin, Mbch331, greg
_______________________________________________
Wikidata-bugs mailing list
Wikidata-bugs@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs

Reply via email to