- From: Alex Rudenko <notifications@github.com>
- Date: Fri, 12 Jan 2024 03:57:58 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 12 January 2024 11:58:04 UTC
Looks like there was a missing `</div>` in https://github.com/w3c/permissions/pull/431 You can view, comment on, or merge this pull request online at: https://github.com/w3c/permissions/pull/434 -- Commit Summary -- * Editorial: fix tidy errors -- File Changes -- M index.html (2) -- Patch Links -- https://github.com/w3c/permissions/pull/434.patch https://github.com/w3c/permissions/pull/434.diff -- Reply to this email directly or view it on GitHub: https://github.com/w3c/permissions/pull/434 You are receiving this because you are subscribed to this thread. Message ID: <w3c/permissions/pull/434@github.com>
Received on Friday, 12 January 2024 11:58:04 UTC