Skip to content

[spec] Simplify exec rule for if#1517

Merged
rossberg merged 1 commit intomainfrom
if-red
Aug 10, 2022
Merged

[spec] Simplify exec rule for if#1517
rossberg merged 1 commit intomainfrom
if-red

Commits

Commits on Aug 10, 2022