This repository was archived by the owner on Nov 3, 2021. It is now read-only.

[spec] Fix two omissions#43

Merged

rossberg merged 1 commit intomasterfrom

Mar 23, 2020

Commits on Mar 23, 2020

[spec] Fix two omissions
rossberg
committed