Skip to content

Fix indent of itemTypes in search.js#91667

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-index-itemtypes
Dec 9, 2021

Commits

Commits on Dec 8, 2021