Skip to content

Add note when matching token with nonterminal#108711

Merged
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:nt-note
Mar 11, 2023
Merged

Add note when matching token with nonterminal#108711
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:nt-note

Commits

Commits on Mar 10, 2023