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

• From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
• Date: Tue, 12 Oct 2021 23:51:11 +0000
• To: public-geolocation@w3.org
• Message-ID: <issues.closed-983618328-1634082669-sysbot+gh@w3.org>

marcoscaceres closed this issue. See https://github.com/w3c/geolocation-api/issues/103

-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 12 October 2021 23:51:13 UTC