Skip to content

Rename "Associated*" to "Assoc*"#4142

Merged
bors merged 1 commit intorust-lang:masterfrom
agnxy:rename-assoc
May 28, 2019
Merged

Rename "Associated*" to "Assoc*"#4142
bors merged 1 commit intorust-lang:masterfrom
agnxy:rename-assoc

Commits

Commits on May 25, 2019