gerritbot added a comment.
Change 756745 **merged** by jenkins-bot: [mediawiki/core@master] Stop using is_resource() where possible https://gerrit.wikimedia.org/r/756745 TASK DETAIL https://phabricator.wikimedia.org/T260735 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: gerritbot Cc: tstarling, brion, Reedy, alex-mashin, Ricordisamoa, ssastry, TheDJ, Aklapper, MaxSem, G1964j, 786, Zekwn, Suran38, Biggs657, the0001, Invadibot, Lalamarie69, Zabe, Selby, AndreCstr, maantietaja, XeroS_SkalibuR, Juan90264, Alter-paule, Beast1978, Un1tY, Akuckartz, Hook696, Kent7301, joker88john, DannyS712, CucyNoiD, Nandana, Mirahamira, Gaboe420, lucamauri, Giuliamocci, Cpaulf30, Lahi, Gq86, Af420, Jontheil, Bsandipan, Markhalsey, GoranSMilovanovic, Jayprakash12345, QZanden, LawExplorer, Lewizho99, Maathavan, _jensen, rosalieper, Neuronton, Scott_WUaS, freephile, Wikidata-bugs, aude, Nikerabbit, Jdforrester-WMF, Addshore, Mbch331, Krenair
_______________________________________________ Wikidata-bugs mailing list -- wikidata-bugs@lists.wikimedia.org To unsubscribe send an email to wikidata-bugs-le...@lists.wikimedia.org
