- 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