jsondoclint: Check local items in `paths` are also in `index`.#106546

Merged

bors merged 1 commit intorust-lang:masterfrom

aDotInTheVoid:jsondoclint-path-local-item

Jan 8, 2023

Commits on Jan 6, 2023

jsondoclint: Check local items in `paths` are also in `index`.
aDotInTheVoid
committed