Rollup of 10 pull requests#150810
Merged
rust-bors[bot] merged 22 commits intorust-lang:mainfrom Jan 8, 2026
Merged
Commits
Commits on Dec 14, 2025
Commits on Dec 19, 2025
Commits on Jan 1, 2026
Commits on Jan 5, 2026
Commits on Jan 6, 2026
Commits on Jan 7, 2026
Commits on Jan 8, 2026
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored