Skip to content

Remove NtIdent and NtLifetime. - #96627

Closed
nnethercote wants to merge 1 commit into
rust-lang:masterfrom
nnethercote:rm-NtIdent-NtLifetime
Closed

Remove NtIdent and NtLifetime.#96627
nnethercote wants to merge 1 commit into
rust-lang:masterfrom
nnethercote:rm-NtIdent-NtLifetime

Commits

Commits on May 2, 2022