- From: Thiago Perrotta <notifications@github.com>
- Date: Tue, 21 Nov 2023 03:07:32 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 21 November 2023 11:07:37 UTC
@thiagowfx commented on this pull request.
> +
+ permissions.SetPermissionParameters = {
+ descriptor: permissions.PermissionDescriptor,
+ state: permissions.PermissionState,
+ }
+ </pre>
+ </dd>
+ <dt>Result Type</dt>
+ <dd>
+ <pre class="cddl">
+ EmptyResult
+ </pre>
+ </dd>
+ </dl>
+ <ol algorithm="remote end steps for permissions.setPermission">
+ <p>
Changed outer tag to `<div>` to match the BiDi style. Fixed.
--
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/425#discussion_r1400410724
You are receiving this because you are subscribed to this thread.
Message ID: <w3c/permissions/pull/425/review/1741715809@github.com>
Received on Tuesday, 21 November 2023 11:07:37 UTC