Skip to content

Rollup of 7 pull requests#101949

Merged
bors merged 14 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-xu5cqnd
Sep 18, 2022
Merged

Rollup of 7 pull requests#101949
bors merged 14 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-xu5cqnd

Rollup merge of #101943 - notriddle:notriddle/non-exhaustive, r=Guill…

5ba52ca
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs