W3C home > Mailing lists > Public > public-device-apis-log@w3.org > November 2018

Re: [sensors] Introduce WebDriver extension API

From: Philip Jägenstedt via GitHub <sysbot+gh@w3.org>
Date: Thu, 15 Nov 2018 10:28:34 +0000
To: public-device-apis-log@w3.org
Message-ID: <issue_comment.created-438992908-1542277713-sysbot+gh@w3.org>
@Honry sorry I missed your request for review of the explainer. I've reviewed it now, looks great!

What remains to get this PR merged now?

GitHub Notification of comment by foolip
Please view or discuss this issue at https://github.com/w3c/sensors/pull/369#issuecomment-438992908 using your GitHub account
Received on Thursday, 15 November 2018 10:28:39 UTC

This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 12:47:55 UTC