Skip to content

Address comments from Yoav Nir and Rohan Mahy. Fixes #263#264

Merged
ekr merged 2 commits intomlswg:mainfrom ekr:editorial_commentsAug 3, 2024

Commits

Commits on Jul 27, 2024