W3C home > Mailing lists > Public > public-device-apis-log@w3.org > October 2021

Re: [geolocation-api] Consider using DOMHighResTimestamp instead of DOMTimeStamp (#103)

From: npm1 via GitHub <sysbot+gh@w3.org>
Date: Tue, 12 Oct 2021 19:22:44 +0000
To: public-device-apis-log@w3.org
Message-ID: <issue_comment.created-941339046-1634066563-sysbot+gh@w3.org> 
Nevermind, Yoav mentioned this is an int so the granularity is not sub-ms.

-- 
GitHub Notification of comment by npm1
Please view or discuss this issue at https://github.com/w3c/geolocation-api/issues/103#issuecomment-941339046 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 12 October 2021 19:22:46 UTC

This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 12:47:59 UTC