diff options
| author | Tshepang Mbambo <hopsi@tuta.io> | 2025-06-28 12:11:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-28 12:11:05 +0200 |
| commit | 84abd4efbca5e5ce5accec20c1b41d5866047d34 (patch) | |
| tree | a885feef5918f8fee845227ac0bdc774c64f7e8e /src/doc/rustc-dev-guide | |
| parent | 61dafd75c44876590a3f492f8161ab401a048e61 (diff) | |
| parent | 98c347049ec4d0d942740ddf462cc9c1bb64fd96 (diff) | |
| download | rust-84abd4efbca5e5ce5accec20c1b41d5866047d34.tar.gz rust-84abd4efbca5e5ce5accec20c1b41d5866047d34.zip | |
Merge pull request #2481 from xizheyin/submit-in-rdg-or-r
Explain where rdg changes should be submitted
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/contributing.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide/src/contributing.md b/src/doc/rustc-dev-guide/src/contributing.md index 46d74b96734..b3fcd79ec81 100644 --- a/src/doc/rustc-dev-guide/src/contributing.md +++ b/src/doc/rustc-dev-guide/src/contributing.md @@ -434,6 +434,10 @@ Just a few things to keep in mind: it might benefit from having a Table of Contents at the beginning, which you can auto-generate by including the `<!-- toc -->` marker at the top. +#### ⚠️ Note: Where to contribute `rustc-dev-guide` changes + +For detailed information about where to contribute rustc-dev-guide changes and the benefits of doing so, see [the rustc-dev-guide working group documentation](https://forge.rust-lang.org/wg-rustc-dev-guide/index.html#where-to-contribute-rustc-dev-guide-changes). + ## Issue triage Please see <https://forge.rust-lang.org/release/issue-triaging.html>. |