Skip to content

Reduce search-index.js size#56869

Merged
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:index-size-reduction
Jan 17, 2019

Commits

Commits on Jan 17, 2019