make note of one more normalization that Paths do#57498
Merged
bors merged 2 commits intorust-lang:masterfrom Jan 12, 2019
Merged
make note of one more normalization that Paths do#57498bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom