Rename "Important traits" to "Notable traits"#75344

Merged

bors merged 1 commit intorust-lang:masterfrom

camelid:rename-important-to-notable-traits

Aug 10, 2020

Commits on Aug 9, 2020

Rename "Important traits" to "Notable traits"
camelid
committed