Brad Hards wrote:
Patch attached.
Attachments are not allowed on news://mozilla.dev.static-analysisCan you publish your patch somewhere ? I think it would be OK to put it in a page on https://developer.mozilla.org , it can be on your personal page ( https://developer.mozilla.org/User:<login> ) if you hesitate to modify the public ones.
_______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
