Rollup of 11 pull requests#103452
Merged
bors merged 24 commits intorust-lang:masterfrom notriddle:rollup-peewevmOct 24, 2022
+305-145
Commits
Commits on Aug 12, 2022
Commits on Sep 19, 2022
Commits on Oct 13, 2022
Commits on Oct 19, 2022
Commits on Oct 20, 2022
Commits on Oct 21, 2022
Commits on Oct 22, 2022
Commits on Oct 23, 2022
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
Rollup merge of rust-lang#103424 - notriddle:notriddle/code-header-border-bottom-none, r=GuillaumeGomez
authoredRollup merge of rust-lang#103434 - GuillaumeGomez:gui-test-jump-to-def-background-cleanup, r=notriddle
authored- authored