Skip to content

Rename some name variables as ident.#139510

Merged
bors merged 2 commits intorust-lang:masterfrom
nnethercote:name-to-ident
Apr 10, 2025
Merged

Rename some `name` variables as `ident`.#139510
bors merged 2 commits intorust-lang:masterfrom
nnethercote:name-to-ident

Commits

Commits on Apr 9, 2025