Skip to content

Remove unneeded field from SwitchTargets#105234

Merged
bors merged 1 commit into
rust-lang:masterfrom
JakobDegen:unneeded-field
Dec 10, 2022
Merged

Remove unneeded field from SwitchTargets#105234
bors merged 1 commit into
rust-lang:masterfrom
JakobDegen:unneeded-field

Remove unneeded field from `SwitchTargets`

9fb8da8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs