Skip to content

[lex] Move definitions, and remove redundant use, of "[non]digit"#8590

Open
lprv wants to merge 1 commit intocplusplus:mainfrom
lprv:r40
Open

[lex] Move definitions, and remove redundant use, of "[non]digit"#8590
lprv wants to merge 1 commit intocplusplus:mainfrom
lprv:r40

Commits

Commits on Dec 8, 2025