[whatwg/dom] editorial: Revert [hr‑time] workaround (#807)

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

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


-- Commit Summary --

  * editorial: Revert [hr‑time] workaround

-- File Changes --

    M dom.bs (4)

-- Patch Links --

https://github.com/whatwg/dom/pull/807.patch

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