Skip to content

[spec] Fix reduction rule for label#1612

Merged
rossberg merged 1 commit intomainfrom
rossberg-patch-1
Feb 22, 2023
Merged

[spec] Fix reduction rule for label#1612
rossberg merged 1 commit intomainfrom
rossberg-patch-1

Commits

Commits on Feb 22, 2023