Skip to content

Remove NtIdent and NtLifetime#124256

Merged
bors merged 2 commits into
rust-lang:masterfrom
nnethercote:rm-NtIdent-NtLifetime
May 14, 2024
Merged

Remove NtIdent and NtLifetime#124256
bors merged 2 commits into
rust-lang:masterfrom
nnethercote:rm-NtIdent-NtLifetime

Remove `NtIdent` and `NtLifetime`.

95e519e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs