Skip to content

[spec] Fix typo in rule#1153

Merged
rossberg merged 2 commits intomasterfrom
typo
Mar 26, 2020
Merged

[spec] Fix typo in rule#1153
rossberg merged 2 commits intomasterfrom
typo

Conversation

@rossberg
Copy link
Member

Fixes #1152.

@rossberg rossberg requested a review from binji March 25, 2020 15:16
@rossberg rossberg merged commit bcb6a41 into master Mar 26, 2020
@rossberg rossberg deleted the typo branch March 26, 2020 06:11
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.

reduction rule for labels is incorrectly referenced

2 participants