Skip to content

Conversation

@cmb69
Copy link
Member

@cmb69 cmb69 commented Aug 21, 2019

Since digits are allowed for identifiers, we have to cater to them as
well.

Since digits are allowed for identifiers, we have to cater to them as
well.
@cmb69
Copy link
Member Author

cmb69 commented Aug 21, 2019

Applied as 3107088.

@cmb69 cmb69 closed this Aug 21, 2019
@cmb69 cmb69 deleted the fix-78441 branch August 21, 2019 20:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants