hoo added a comment.
As mentioned by @Lucas_Werkmeister_WMDE in the Gerrit change, we should probably not merge this before production migrated away from PHP 7.2. Related: T243590 <https://phabricator.wikimedia.org/T243590> TASK DETAIL https://phabricator.wikimedia.org/T305785 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: hoo Cc: Michael, ItamarWMDE, Reedy, Aklapper, Lucas_Werkmeister_WMDE, hoo, Jersione, Hellket777, LisafBia6531, Astuthiodit_1, 786, Biggs657, karapayneWMDE, Invadibot, maantietaja, Juan90264, Alter-paule, Beast1978, Un1tY, Akuckartz, Hook696, Kent7301, RhinosF1, joker88john, CucyNoiD, Nandana, Gaboe420, Giuliamocci, Cpaulf30, Lahi, Gq86, Af420, Bsandipan, GoranSMilovanovic, QZanden, LawExplorer, Lewizho99, Maathavan, _jensen, rosalieper, Neuronton, Scott_WUaS, Wikidata-bugs, aude, Nikerabbit, Mbch331
_______________________________________________ Wikidata-bugs mailing list -- wikidata-bugs@lists.wikimedia.org To unsubscribe send an email to wikidata-bugs-le...@lists.wikimedia.org