make pretty source comparison check be fatal (fixes #52255)#52256
Merged
bors merged 2 commits intorust-lang:masterfrom Jul 12, 2018
Merged
make pretty source comparison check be fatal (fixes #52255)#52256bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom