Move `Strip` into a separate rustdoc pass#77897

Merged

bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:cleanup-passes-mod

Oct 14, 2020

+176-170

Commits on Oct 13, 2020

Clean up rustdoc passes
GuillaumeGomez
committed