Skip to content

Fix case insensitive option with unicode, RANGE_PROBABLY_CONTAINS_NOT_IMPLIED_CHARACTERS fixes#3435

Merged
parrt merged 4 commits intoantlr:masterfrom
KvanTTT:case-insensitive-fixes
Dec 26, 2021
Merged

Fix case insensitive option with unicode, RANGE_PROBABLY_CONTAINS_NOT_IMPLIED_CHARACTERS fixes#3435
parrt merged 4 commits intoantlr:masterfrom
KvanTTT:case-insensitive-fixes