Skip to content

Rename both of the Match relations#116358

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:match
Oct 3, 2023
Merged

Rename both of the `Match` relations#116358
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:match

Commits

Commits on Oct 2, 2023