Skip to content

Fix JS error when loading page with search#67336

Merged
bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:fix-js-errorDec 16, 2019

Commits

Commits on Dec 15, 2019