Rollup of 5 pull requests#131012

Merged

bors merged 13 commits intorust-lang:masterfrom

GuillaumeGomez:rollup-e9ovh3a

Sep 29, 2024

Commits on Sep 15, 2024

Feed `GitInfo`s from `Config` to `Build`
onur-ozkan
committed

Commits on Sep 22, 2024

reword edge-conditions documentation on all slice 'sort' functions; resolves #130122
BatmanAoD
committed

Commits on Sep 23, 2024

Commits on Sep 28, 2024

rustdoc: add doc comment to DocVisitor
lolbinarycat
committed

Commits on Sep 29, 2024