Skip to content

[rustdoc] Cleanup "highlight::end_expansion"#147237

Merged
bors merged 1 commit intorust-lang:masterfrom
yotamofek:pr/rustdoc/highlight/optimize-end_expansion
Oct 6, 2025
Merged

[rustdoc] Cleanup "highlight::end_expansion"#147237
bors merged 1 commit intorust-lang:masterfrom
yotamofek:pr/rustdoc/highlight/optimize-end_expansion

Commits

Commits on Oct 2, 2025