Remove potential useless data for search index#90727

Merged

bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:remove-potential-useless-search-index-data

Nov 10, 2021

+46-39

Commits on Nov 10, 2021

Remove potential useless data for search index
GuillaumeGomez
committed