[w3c/manifest] Editorial: Consistently use abort not terminate (#810)

Closes [#809](https://github.com/w3c/manifest/issues/809)

This change (choose one):

* [ ] Breaks existing normative behavior (please add label "breaking")
* [ ] Adds new normative requirements
* [ ] Adds new normative recommendations or optional items
* [ ] Makes only editorial changes (only changes informative sections, or
  changes normative sections without changing behavior)
* [ ] Is a "chore" (metadata, formatting, fixing warnings, etc).

Commit message:
standardise 'terminate' to 'abort'

You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/manifest/pull/810

-- Commit Summary --

  * Editorial: in section 7.1, standardise 'terminate' to 'abort'
  * Editorial: in section 2.4, standardise 'terminate' to 'abort'

-- File Changes --

    M index.html (16)

-- Patch Links --

https://github.com/w3c/manifest/pull/810.patch
https://github.com/w3c/manifest/pull/810.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/manifest/pull/810

Received on Wednesday, 9 October 2019 14:47:37 UTC