Skip to content

Fix typo/minor grammar error in subtyping.md#317

Merged
JohnTitor merged 1 commit intorust-lang:masterfrom pwnall:patch-1Oct 7, 2021

Commits

Commits on Oct 7, 2021