Rollup of 5 pull requests#151234
Merged
rust-bors[bot] merged 17 commits intorust-lang:mainfrom Jan 17, 2026
Merged
Commits
Commits on Jan 13, 2026
Commits on Jan 14, 2026
Commits on Jan 15, 2026
Commits on Jan 16, 2026
Commits on Jan 17, 2026
- committed
- authored
- authored
- authored
- authored
- authored