Skip to content

rustdoc-search: clean up parser#118856

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/search-js
Dec 12, 2023
Merged

rustdoc-search: clean up parser#118856
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/search-js

Commits

Commits on Dec 12, 2023