Skip to content

Replace current crate's searchIndex when regenerating#56967

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:regen-search-index
Dec 23, 2018
Merged

Replace current crate's searchIndex when regenerating#56967
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:regen-search-index

Commits

Commits on Dec 18, 2018