gerritbot added a comment.
Change 960553 **merged** by jenkins-bot: [integration/config@master] jjb: rm Docker image override for mwext-phpunit-coverage-docker https://gerrit.wikimedia.org/r/960553 TASK DETAIL https://phabricator.wikimedia.org/T288396 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: gerritbot Cc: Michael, Ladsgroup, tstarling, WMDE-leszek, hashar, Lucas_Werkmeister_WMDE, Jdforrester-WMF, Aklapper, Reedy, Danny_Benjafield_WMDE, Isabelladantes1983, Themindcoder, Adamm71, Jersione, Hellket777, LisafBia6531, Astuthiodit_1, 786, Biggs657, karapayneWMDE, Invadibot, maantietaja, Juan90264, Peteosx1x, Alter-paule, Beast1978, ItamarWMDE, Un1tY, Mgagat, Akuckartz, Totolinototo3, Hook696, Kent7301, Zanziii, Sadisticturd, joker88john, CucyNoiD, Nandana, Gaboe420, lucamauri, Giuliamocci, Cpaulf30, Lahi, Gq86, Af420, Bsandipan, GoranSMilovanovic, QZanden, LawExplorer, Lewizho99, Maathavan, _jensen, rosalieper, Neuronton, Scott_WUaS, Wikidata-bugs, aude, Mbch331
_______________________________________________ Wikidata-bugs mailing list -- wikidata-bugs@lists.wikimedia.org To unsubscribe send an email to wikidata-bugs-le...@lists.wikimedia.org
