I'd like to know if there are some rules that the project follows regarding how issues on bugzilla and pull requests on github are tied together. I assumed something like a "patch available" state along with a link to the github pull request or something similar.
-- Cordially, Noufal http://nibrahim.net.in _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
