rustdoc-search: use tighter json for names and parents#129426
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 23, 2024
Merged
rustdoc-search: use tighter json for names and parents#129426bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
