yoavweiss has just created a new issue for https://github.com/w3c/geolocation-api: == Consider using DOMHighResTimestamp instead of DOMTimeStamp == We're considering our options RE `DOMTimeStamp`, and wondering what it's used for. It seems less well-defined than `DOMHighResTimestamp`. Would y'all consider switching over? See heycam/webidl#2 for discussion. Please view or discuss this issue at https://github.com/w3c/geolocation-api/issues/103 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-configReceived on Tuesday, 31 August 2021 09:00:59 UTC
This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 12:47:59 UTC