reduce search-index size#51599

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:reduce-search-indexGuillaumeGomez/rust:reduce-search-indexCopy head branch name to clipboard