Skip to content

Remove unused date-time & full-time abnf rules#1193

Merged
Gabriella439 merged 2 commits intomasterfrom
SiriusStarr-remove-unused-abnf-rule
Aug 21, 2021
Merged

Remove unused date-time & full-time abnf rules#1193
Gabriella439 merged 2 commits intomasterfrom
SiriusStarr-remove-unused-abnf-rule

Conversation

@SiriusStarr
Copy link
Copy Markdown
Collaborator

Looks like some unused rules got left in the ABNF from #1191; there is no reason to leave these unused rules in since they were included more explicitly in temporal-literal.

@Gabriella439 Gabriella439 merged commit df4b191 into master Aug 21, 2021
@Gabriella439 Gabriella439 deleted the SiriusStarr-remove-unused-abnf-rule branch August 21, 2021 16:06
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