Rename ReprExtern to ReprC#47256

Merged

bors merged 1 commit intorust-lang:masterfrom

hanna-kruppe:misc-cleanup

Jan 9, 2018

Commits on Jan 7, 2018

Rename ReprExtern to ReprC, and similarily rename a few other fields and locals that mentioned "extern repr"
Robin Kruppe
committed