- From: Marcos Cáceres <notifications@github.com>
- Date: Wed, 27 Oct 2021 19:00:49 -0700
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 28 October 2021 02:01:01 UTC
closes #293 https://github.com/w3c/push-api/pull/341 You can view, comment on, or merge this pull request online at: https://github.com/w3c/permissions/pull/305 -- Commit Summary -- * <a href="https://github.com/w3c/permissions/pull/305/commits/84470db61dcf1121ba33d09240ed163714d8b383">Remove PushPermissionDescriptor, moved to Push API</a> -- File Changes -- M index.html (16) -- Patch Links -- https://github.com/w3c/permissions/pull/305.patch https://github.com/w3c/permissions/pull/305.diff -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/permissions/pull/305
Received on Thursday, 28 October 2021 02:01:01 UTC