Bring attention to suggestions when the only difference is capitalization#65398

Merged

bors merged 3 commits intorust-lang:masterfrom estebank:capitalization-only

Oct 15, 2019

+115-52

Commits on Oct 14, 2019