@reillyeon, I no longer have rights to merge my PRs (by design 😊). Could you kindly merge them once approved? -- GitHub Notification of comment by marcoscaceres Please view or discuss this issue at https://github.com/w3c/geolocation-api/pull/128#issuecomment-1254272715 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-configReceived on Wednesday, 21 September 2022 22:01:22 UTC
This archive was generated by hypermail 2.4.0 : Wednesday, 21 September 2022 22:01:22 UTC