gerritbot added a comment.
Change 745322 **merged** by jenkins-bot: [mediawiki/extensions/WikidataPageBanner@master] Make sure 'enable-toc' key is set https://gerrit.wikimedia.org/r/745322 TASK DETAIL https://phabricator.wikimedia.org/T297318 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: gerritbot Cc: Ladsgroup, dancy, Zabe, Majavah, cscott, Jdlrobson, Aklapper, Stang, brennen, 786, Suran38, Biggs657, Lalamarie69, Juan90264, Alter-paule, Beast1978, ItamarWMDE, Un1tY, Hook696, darthmon_wmde, Rosalie_WMDE, Kent7301, joker88john, CucyNoiD, Gaboe420, Giuliamocci, Cpaulf30, Af420, Bsandipan, Lewizho99, Maathavan, Verdy_p, Wikidata-bugs, Lydia_Pintscher, Jdforrester-WMF, Jay8g
_______________________________________________ Wikidata-bugs mailing list -- [email protected] To unsubscribe send an email to [email protected]
