- From: Johann Hofmann <notifications@github.com>
- Date: Fri, 18 Nov 2022 01:24:59 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 18 November 2022 09:25:12 UTC
@johannhof commented on this pull request. > @@ -278,6 +278,93 @@ <h3> reset because its [=permission/lifetime=] has expired. </p> </section> + <section> + <h3> + Permission Store + </h3> + <p> + The user agent maintains a single <dfn class="export">global permission store</dfn> which is a list of [=permission store entries=]. + The user agent removes [=entries=] from the list when their respective [=permission=]'s [=permission/lifetime=] has expired. Yeah, I guess this is something the UA `MAY` do? -- Reply to this email directly or view it on GitHub: https://github.com/w3c/permissions/pull/390#discussion_r1026202416 You are receiving this because you are subscribed to this thread. Message ID: <w3c/permissions/pull/390/review/1185754215@github.com>
Received on Friday, 18 November 2022 09:25:12 UTC