Skip to content

Remove NtIdent and NtLifetime#124256

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

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

Commits

Commits on May 13, 2024