Skip to content

rustdoc: restructure type search engine to pick-and-use IDs#110371

Merged
bors merged 6 commits intorust-lang:masterfrom notriddle:notriddle/search-correctionsMay 4, 2023