- From: Mike Taylor <notifications@github.com>
- Date: Wed, 22 Nov 2023 15:34:26 +0000 (UTC)
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 22 November 2023 15:34:32 UTC
Oof, I should have looked at all the PRs before starting to merge. Let me fix (and then tidy will come along and hopefully not make further conflicts...) -- Reply to this email directly or view it on GitHub: https://github.com/w3c/permissions/pull/427#issuecomment-1822997625 You are receiving this because you are subscribed to this thread. Message ID: <w3c/permissions/pull/427/c1822997625@github.com>
Received on Wednesday, 22 November 2023 15:34:32 UTC