diff options
| author | bors <bors@rust-lang.org> | 2024-03-26 11:50:27 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-26 11:50:27 +0000 |
| commit | 2e198d04ee1ccd20926701c4da7403d2c6bca7b3 (patch) | |
| tree | 516054cbab817a3ae4ba709db47420054c52aee0 /src/doc/rustc-dev-guide | |
| parent | 78d556e28d4e4d60b45bd183c22748967731abb9 (diff) | |
| parent | 89a36c03850a404d8d3a4b869cb85293e1f9a978 (diff) | |
| download | rust-2e198d04ee1ccd20926701c4da7403d2c6bca7b3.tar.gz rust-2e198d04ee1ccd20926701c4da7403d2c6bca7b3.zip | |
Auto merge of #3419 - RalfJung:rustup, r=RalfJung
Rustup https://github.com/rust-lang/rust/pull/123081 landed so hopefully this works now.
Diffstat (limited to 'src/doc/rustc-dev-guide')
| m--------- | src/doc/rustc-dev-guide | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide b/src/doc/rustc-dev-guide -Subproject 8a5d647f19b08998612146b1cb2ca47083db63e +Subproject ffa246b7fd95a96e1cd54883e613aed42c32547 |