Skip to content

Remove unneeded field from SwitchTargets#105234

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

Commits

Commits on Dec 9, 2022