Yup, if we put this in CONTRIBUTING, it'll show up when making a new issue.
Not like anyone reads them, but increasing the chances for no cost seems good. _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev