Re: [w3c/permissions] Remove use of realms (PR #397) from Marcos Cáceres on 2022-11-28 (public-webapps-github@w3.org from November 2022)

From: Marcos Cáceres <notifications@github.com>
Date: Mon, 28 Nov 2022 03:47:41 -0800
To: w3c/permissions <permissions@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <w3c/permissions/pull/397/review/1195666904@github.com>

@marcoscaceres commented on this pull request.



> @@ -265,11 +265,10 @@ <h3>
           Every [=permission=] has a <dfn class="export" data-dfn-for="permission">lifetime</dfn>,
           which is the duration for which a particular permission remains [=permission/granted=]
           before it reverts back to its [=permission/default state=]. A [=permission/lifetime=]
-          could be until a particular [=ECMAScript/Realm=] is destroyed, until a particular

Reverted it.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/397#discussion_r1033444538
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/permissions/pull/397/review/1195666904@github.com>

Received on Monday, 28 November 2022 11:47:53 UTC