Skip to content

Clarify terms in doc comments#72829

Merged
bors merged 1 commit intorust-lang:masterfrom
JOE1994:clarify_terms
Jun 1, 2020
Merged

Clarify terms in doc comments#72829
bors merged 1 commit intorust-lang:masterfrom
JOE1994:clarify_terms

Commits

Commits on May 31, 2020