Skip to content

Use merged_ty method instead of rewriting it every time#100629

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:merged-ty
Aug 16, 2022

Commits

Commits on Aug 16, 2022