Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Update: support numeric separators (refs #13568) #13581
What is the purpose of this pull request? (put an "X" next to an item)
[X] Other, please explain:
Adds support for numeric separators (along with PR #13574).
What changes did you make? (Give an overview)
In total, this is one line of code + tests and comments.
Is there anything you'd like reviewers to focus on?