Skip to content

[spec] Correct use of opdtype and stacktype#1524

Merged
rossberg merged 2 commits intomainfrom opdtypeAug 25, 2022

Commits

Commits on Aug 23, 2022