We probably can’t switch because of web compat. It’s used to determine the age of the acquired position. But we could rename it LegacyGeolocationTimeStamp as it’s just a typedef and define it as used by the API. That could finally kill it from the platform. -- GitHub Notification of comment by marcoscaceres Please view or discuss this issue at https://github.com/w3c/geolocation-api/issues/103#issuecomment-909191293 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 12:28:35 UTC
This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 12:47:59 UTC