Skip to content

Fixes #79357 unstable or-pat suggestions#79364

Merged
bors merged 1 commit intorust-lang:masterfrom
nico-abram:unstable-or-pat-suggestion
Dec 2, 2020

Commits

Commits on Nov 29, 2020