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

This&nbsp;has now&nbsp;propagated through all&nbsp;the&nbsp;tooling and&nbsp;the&nbsp;build for&nbsp;<https://github.com/whatwg/dom/pull/807>&nbsp;has&nbsp;passed.

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

Received on Monday, 9 December 2019 09:56:46 UTC