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

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 using your GitHub account

Sent via github-notify-ml as configured in

Received on Tuesday, 12 October 2021 19:22:46 UTC