Rollup of 8 pull requests#149531
Merged
bors merged 25 commits intorust-lang:mainfrom Dec 2, 2025
Merged
Commits
Commits on Aug 20, 2025
Commits on Aug 21, 2025
Commits on Nov 23, 2025
Commits on Nov 30, 2025
Commits on Dec 1, 2025
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Dec 2, 2025
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored