rustdoc: normalise type/field names#128667

Merged

bors merged 1 commit intorust-lang:masterfrom

its-the-shrimp:rustdoc_json_types_rename

Sep 9, 2024

Commits on Sep 1, 2024

rustdoc: normalise type/field names in rustdoc-json-types/jsondoclint
its-the-shrimp
committed