Skip to content

[spec] Simplify exec rule for if#1517

Merged
rossberg merged 1 commit intomainfrom if-redAug 10, 2022

Commits

Commits on Aug 10, 2022