Remove potential useless data for search index#90727

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:remove-potential-useless-search-index-dataGuillaumeGomez/rust:remove-potential-useless-search-index-dataCopy head branch name to clipboard