- From: Johann Hofmann <notifications@github.com>
- Date: Wed, 30 Nov 2022 04:30:19 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 30 November 2022 12:30:32 UTC
@johannhof commented on this pull request. > @@ -278,6 +278,71 @@ <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">permission store</dfn> which is a [=/list=] of [=permission store entries=]. Probably :) -- Reply to this email directly or view it on GitHub: https://github.com/w3c/permissions/pull/390#discussion_r1035909858 You are receiving this because you are subscribed to this thread. Message ID: <w3c/permissions/pull/390/review/1199237402@github.com>
Received on Wednesday, 30 November 2022 12:30:32 UTC