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

That's great, though it doesn't seem to have propagated through all the tooling just yet.

-- 
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-562559824

Received on Friday, 6 December 2019 12:52:41 UTC