Rollup of 7 pull requests#132005

Merged

bors merged 17 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-ced4upi

Oct 21, 2024

Commits on Oct 15, 2024

linkchecker: add a reminder on broken links to add new/renamed pages to SUMMARY.md for mdBooks
jieyouxu
committed

Commits on Oct 21, 2024