Rollup of 11 pull requests#151107
Merged
rust-bors[bot] merged 33 commits intorust-lang:mainfrom Jan 14, 2026
Merged
Commits
Commits on Nov 28, 2025
Commits on Jan 9, 2026
Commits on Jan 10, 2026
Commits on Jan 12, 2026
Commits on Jan 13, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 14, 2026
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
