rustdoc: Some more lazy formatting - #157796
Merged
rust-bors[bot] merged 1 commit intoJun 12, 2026
Merged
rust-bors / Bors try build
succeeded
Jun 12, 2026 in 2h 12m 4s
Bors try build
Loading