Skip to content

rustdoc-search: use tighter json for names and parents#129426

Merged
bors merged 1 commit intorust-lang:masterfrom notriddle:smaller-index-2024-08-22Aug 23, 2024

Commits

Commits on Aug 22, 2024