rustdoc-json: Rename Path::name
to path
, and give it the path again.#135799
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 24, 2025
Merged
rustdoc-json: Rename `Path::name` to `path`, and give it the path again.#135799bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom