- From: Raphael Kubo da Costa via GitHub <sysbot+gh@w3.org>
- Date: Mon, 30 Jan 2023 10:00:10 +0000
- To: public-device-apis-log@w3.org
I think it makes sense to merge the two PRs together. I'm working on an explainer for these changes for wider circulation first and will ping you to merge both PRs once everything is ready. -- GitHub Notification of comment by rakuco Please view or discuss this issue at https://github.com/w3c/sensors/pull/451#issuecomment-1408314944 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 30 January 2023 10:00:11 UTC