- 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