Skip to content

Remove unneeded field from SwitchTargets#105234

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

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

Commits

Commits on Dec 9, 2022