Error correction for missing idents#31065

Merged

bors merged 6 commits intorust-lang:masterfrom

nrc:ident-correct

Jan 26, 2016

Commits on Jan 25, 2016

Fix a rebasing issue and addressed reviewer comment
nrc
committed