JeroenDeDauw added a comment. Related: would be nice if people could rage on this PR for it to be merged: https://github.com/phpmd/phpmd/pull/273
TASK DETAIL https://phabricator.wikimedia.org/T86538 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: JeroenDeDauw Cc: Addshore, thiemowmde, Tobi_WMDE_SW, JeroenDeDauw, JanZerebecki, Aklapper, Wikidata-bugs, aude, hashar, greg _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
