Rollup of 4 pull requests#113782

Merged

bors merged 11 commits intorust-lang:masterfrom

matthiaskrgr:rollup-mmrjvx3

Jul 17, 2023

Commits on Jun 17, 2023

fix typo in `rustdoc/src/what-is-rustdoc.md`
geometryolife
committed

Commits on Jul 11, 2023