- 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