Fix decimal point incorrectly highlighted in numbers#3829
Open
pwnfo wants to merge 1 commit intoTextualize:masterfrom
Open
Fix decimal point incorrectly highlighted in numbers#3829pwnfo wants to merge 1 commit intoTextualize:masterfrom
pwnfo wants to merge 1 commit intoTextualize:masterfrom
