Skip to content

Fix handling of identifiers which start with numbers#479

Merged
sunng87 merged 2 commits intosunng87:masterfrom mkantor:identifiers-starting-with-numbersDec 6, 2021

Commits

Commits on Dec 5, 2021