Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove Unicode char ± from ABNF (again) #1289

Merged
merged 1 commit into from
Jul 4, 2022

Conversation

SiriusStarr
Copy link
Collaborator

@SiriusStarr SiriusStarr commented Jun 30, 2022

This was a regression for issue #1003 introduced by the comments included in #1191. (#1004 previously removed Unicode.)

I've used [+-] in lieu of the ± char, but obviously if people feel there is a better way to indicate this choice (e.g. the ABNF-y ( "+" / "-" ) it could be changed.

This was a regression for issue #1003 introduced by the comments
included in #1191
@SiriusStarr SiriusStarr merged commit 5bf0a3c into master Jul 4, 2022
@SiriusStarr SiriusStarr deleted the remove-unicode-from-abnf branch July 4, 2022 17:59
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.

None yet

2 participants