Re: [whatwg/dom] Editorial: revert [hr-time] workaround (#802)

<https://github.com/tobie/specref/issues/571> has&nbsp;now been&nbsp;merged.

-- 
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/issues/802#issuecomment-562553035

Received on Friday, 6 December 2019 12:29:05 UTC