mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove chalk is owned by WG-traits

This commit is contained in:
Santiago Pastorino 2024-09-18 16:32:28 -03:00 committed by Michael Goulet
parent d6c5ed5c47
commit d80226941e
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/getting-started.md
View File

@ -147,8 +147,7 @@ There are a bunch of other projects that you can contribute to outside of the
`rust-lang/rust` repo, including `cargo`, `miri`, `rustup`, and many others.
These repos might have their own contributing guidelines and procedures. Many
of them are owned by working groups (e.g. `chalk` is largely owned by
WG-traits). For more info, see the documentation in those repos' READMEs.
of them are owned by working groups. For more info, see the documentation in those repos' READMEs.
### Other ways to contribute