Skip to content

Remove Nonterminal::NtTT.#95301

Merged
bors merged 1 commit intorust-lang:masterfrom
nnethercote:rm-NtTT
Mar 28, 2022
Merged

Remove `Nonterminal::NtTT`.#95301
bors merged 1 commit intorust-lang:masterfrom
nnethercote:rm-NtTT

Commits

Commits on Mar 27, 2022