W3C home > Mailing lists > Public > public-geolocation@w3.org > August 2021

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

From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
Date: Tue, 31 Aug 2021 12:46:08 +0000
To: public-geolocation@w3.org
Message-ID: <issue_comment.created-909203584-1630413966-sysbot+gh@w3.org>
Ah, my bad. Those WICG ones should be easy to update at least. 

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


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

This archive was generated by hypermail 2.4.0 : Tuesday, 31 August 2021 12:46:10 UTC