- From: jugglinmike <notifications@github.com>
- Date: Fri, 08 Dec 2017 23:53:49 +0000 (UTC)
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 8 December 2017 23:54:14 UTC
jugglinmike commented on this pull request. > @@ -41,7 +41,20 @@ spec: mediacapture-main; urlPrefix: https://w3c.github.io/mediacapture-main/# spec: sensors; urlPrefix: https://w3c.github.io/sensors/# type: dfn text: generic sensor permission revocation algorithm; url: generic-sensor-permission-revocation-algorithm - +spec: webdriver; urlPrefix: https://w3c.github.io/webdriver/webdriver-spec.html# + type: dfn + text: current browsing context; url: dfn-current-browsing-context + text: WebDriver error; url: dfn-error + text: WebDriver error code; url: dfn-error-code + text: extension command; url: dfn-extension-commands + text: extension command name; url: dfn-extension-command-name + text: extension command prefix; url: dfn-extension-command-prefix + text: getting the property; url: dfn-getting-a-property Good catch! Removed. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/permissions/pull/151#discussion_r155901530
Received on Friday, 8 December 2017 23:54:14 UTC