Closed secure-sw-dev-bot closed 2 years ago
Comment from @jzhou76:
Thanks! If you could address my two minor comments, I will be happy to merge these fixes.
Fixed. Thanks for the feedbacks.
Comment from @sulekhark:
Merged the fixes made by Jie Zhou for typos in the spec.
This issue was copied from https://github.com/microsoft/checkedc/issues/464
Fixed several typos and missed words in Chapter 2, 3 and 5 of the Language Specification.