Skip to content

Consistently use 'supertrait'.#89453

Merged
bors merged 1 commit intorust-lang:masterfrom
waywardmonkeys:consistent-supertrait-usage
Oct 4, 2021
Merged

Consistently use 'supertrait'.#89453
bors merged 1 commit intorust-lang:masterfrom
waywardmonkeys:consistent-supertrait-usage

Commits

Commits on Oct 2, 2021