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

Update "crater" link to actually point to crater.md

This commit is contained in:
Freya Arbjerg 2025-04-12 00:05:26 +02:00
parent 58cbfe4ea8
commit 54b7da853a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/walkthrough.md
View File

@ -221,7 +221,7 @@ There are a couple of things that may happen for some PRs during the review proc
some merge conflicts with other PRs that happen to get merged first. You
should fix these merge conflicts using the normal git procedures.
[crater]: ./tests/intro.html#crater
[crater]: ./tests/crater.html
If you are not doing a new feature or something like that (e.g. if you are
fixing a bug), then that's it! Thanks for your contribution :)