[whatwg/dom] Editorial: align with Infra string changes (#843)

See https://github.com/whatwg/infra/pull/292.

(This needs to wait at least a day until after that PR is merged as otherwise the cross-references might go faulty.)

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

  https://github.com/whatwg/dom/pull/843

-- Commit Summary --

  * Editorial: align with Infra string changes

-- File Changes --

    M dom.bs (14)

-- Patch Links --

https://github.com/whatwg/dom/pull/843.patch
https://github.com/whatwg/dom/pull/843.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/whatwg/dom/pull/843