Skip to content

[spec] Fix reduction rule for label#1612

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

Commits

Commits on Feb 22, 2023