gerritbot added a comment.
Change 514430 **merged** by jenkins-bot: [integration/config@master] [wikiba.se] enable php7.2 https://gerrit.wikimedia.org/r/514430 TASK DETAIL https://phabricator.wikimedia.org/T224905 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: gerritbot Cc: hashar, Dzahn, Ladsgroup, WMDE-leszek, Jdforrester-WMF, Aklapper, E.S.A-Sheild, darthmon_wmde, Redabr4, Premeditated, Zanziii, Sadisticturd, joker88john, CucyNoiD, Nandana, NebulousIris, Gaboe420, A.S.Kochergin, Versusxo, Majesticalreaper22, Giuliamocci, Adrian1985, Cpaulf30, Lahi, Gq86, Baloch007, Darkminds3113, Bsandipan, Lordiis, GoranSMilovanovic, Adik2382, Th3d3v1ls, Ramalepe, Liugev6, QZanden, LawExplorer, WSH1906, Lewizho99, Maathavan, _jensen, rosalieper, Wikidata-bugs, aude, Mbch331
_______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
