- From: Marcos Cáceres <notifications@github.com>
- Date: Mon, 11 Oct 2021 00:29:09 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 11 October 2021 07:29:22 UTC
Sorry, I should have given more context! > So DOMTimeStamp is nicely linked to the WebIDL spec. DOMTimeStamp is giong away: https://github.com/whatwg/webidl/pull/1021 > That means we don't really have to have a definition for it in this specification. It's now part of HR-Time: https://github.com/w3c/hr-time/pull/124 >I can't find a similar resource for EpochTimeStamp. Is this something that respec will sort out for us? Missing reference... fixing now :) -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/pull/338#issuecomment-939763309
Received on Monday, 11 October 2021 07:29:22 UTC