Skip to content

Rename "Associated*" to "Assoc*"#60955

Merged
bors merged 2 commits intorust-lang:masterfrom
agnxy:rename-assoc
May 28, 2019
Merged

Rename "Associated*" to "Assoc*"#60955
bors merged 2 commits intorust-lang:masterfrom
agnxy:rename-assoc

Commits

Commits on May 26, 2019