Rollup of 7 pull requests#130934

Merged

bors merged 14 commits intorust-lang:masterfrom

matthiaskrgr:rollup-4puticr

Sep 27, 2024

Commits on Aug 14, 2024

stabilize `option_get_or_insert_default`
slanterns
committed

Commits on Sep 17, 2024

delete sub directory "debug" to not delete the change-id file
onur-ozkan
committed

Commits on Sep 26, 2024

Commits on Sep 27, 2024