- From: Marcos Cáceres via GitHub <sysbot+gh@w3.org>
- Date: Wed, 21 Sep 2022 22:01:20 +0000
- To: public-device-apis-log@w3.org
@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-config
Received on Wednesday, 21 September 2022 22:01:22 UTC