Skip to content

Use subtrait/supertrait, not sub-trait, super-trait.#1095

Merged
ehuss merged 1 commit intorust-lang:masterfrom
waywardmonkeys:consistent-supertrait-subtrait
Oct 2, 2021
Merged

Use subtrait/supertrait, not sub-trait, super-trait.#1095
ehuss merged 1 commit intorust-lang:masterfrom
waywardmonkeys:consistent-supertrait-subtrait

Commits

Commits on Oct 2, 2021