Fix error:
/warning:
coloring inconsistency with rustc#7294
Merged
bors merged 1 commit intorust-lang:masterfrom snejugal:fix-inconsistent-coloringAug 26, 2019
+5-3
error:
/warning:
coloring inconsistency with rustc#7294