Hello, I was wondering if there would be any interest in me going over the issues in GitHub and flagging those that could be closed with a comment?
I know I have flagged 3 or 4 in the past but this could be done on a larger scale, like some sort of triage to clean up the issue list. Let me know. Gilles _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
