Rollup of 5 pull requests#135005
Merged
bors merged 11 commits intorust-lang:masterfrom matthiaskrgr:rollup-5ubuittJan 2, 2025
+129-109
Commits
Commits on Dec 31, 2024
Commits on Jan 1, 2025
- committed
- authored
- authored
- authored
Rollup merge of rust-lang#134985 - mgsloan:remove-unnecessary-qualification-in-Ord-trait-docs, r=Noratrieb
authored- authored