- From: Mike Taylor <notifications@github.com>
- Date: Thu, 09 Nov 2023 08:29:54 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 9 November 2023 16:29:59 UTC
@miketaylr commented on this pull request.
> <p>
- The <dfn class="export" data-dfn-for="extension commands">Set Permission</dfn>
- <a>extension command</a> simulates user modification of a {{PermissionDescriptor}}'s
- <a>permission state</a>.
+ This document defines the following [=extension modules=] for the [[WebDriver-BiDi]] specification.
Ah, great. Thanks! 🐞 🐛
--
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/425#discussion_r1388257238
You are receiving this because you are subscribed to this thread.
Message ID: <w3c/permissions/pull/425/review/1722993259@github.com>
Received on Thursday, 9 November 2023 16:29:59 UTC