- From: Matt Giuca <notifications@github.com>
- Date: Thu, 19 Jan 2023 16:26:25 -0800
- To: w3c/manifest <manifest@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 20 January 2023 00:26:37 UTC
This change (choose at least one, delete ones that don't apply): * Is a "chore" (metadata, formatting, fixing warnings, etc). Commit message: Ran tidy. Person merging, please make sure that commits are squashed with one of the following as a commit message prefix: * chore: You can view, comment on, or merge this pull request online at: https://github.com/w3c/manifest/pull/1067 -- Commit Summary -- * Ran tidy. -- File Changes -- M index.html (82) -- Patch Links -- https://github.com/w3c/manifest/pull/1067.patch https://github.com/w3c/manifest/pull/1067.diff -- Reply to this email directly or view it on GitHub: https://github.com/w3c/manifest/pull/1067 You are receiving this because you are subscribed to this thread. Message ID: <w3c/manifest/pull/1067@github.com>
Received on Friday, 20 January 2023 00:26:37 UTC