diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2025-02-02 23:06:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-02 23:06:58 +0100 |
| commit | a8055f944fb99a2d53b444b317d85ff9acbb5562 (patch) | |
| tree | 3725056656c352d9ce7ae60a63882868a3d6d104 /compiler/rustc_expand/src/base.rs | |
| parent | f1bdf3ba4a43bc6adf2e44c8e6a16eb674c563d3 (diff) | |
| parent | df9a3f264743d5c2cffcfe008b5c5e14aa786299 (diff) | |
| download | rust-a8055f944fb99a2d53b444b317d85ff9acbb5562.tar.gz rust-a8055f944fb99a2d53b444b317d85ff9acbb5562.zip | |
Rollup merge of #136452 - RalfJung:miri-sync, r=RalfJung
Miri subtree update r? `@ghost` Unblocks https://github.com/rust-lang/rust/pull/122408 from the Miri side
Diffstat (limited to 'compiler/rustc_expand/src/base.rs')
0 files changed, 0 insertions, 0 deletions