- From: Marcos Cáceres <notifications@github.com>
- Date: Sun, 10 Nov 2019 18:21:16 -0800
- To: w3c/manifest <manifest@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 11 November 2019 02:21:18 UTC
This change (choose one): * [ ] Breaks existing normative behavior (please add label "breaking") * [ ] Adds new normative requirements * [ ] Adds new normative recommendations or optional items * [ ] Makes only editorial changes (only changes informative sections, or changes normative sections without changing behavior) * [X] Is a "chore" (metadata, formatting, fixing warnings, etc). Commit message: * export "installed web application" * export "navigation scope" For https://github.com/WICG/badging/pull/57/files#r341902107 You can view, comment on, or merge this pull request online at: https://github.com/w3c/manifest/pull/823 -- Commit Summary -- * chore: export some terms needed by Badging -- File Changes -- M index.html (27) -- Patch Links -- https://github.com/w3c/manifest/pull/823.patch https://github.com/w3c/manifest/pull/823.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/manifest/pull/823
Received on Monday, 11 November 2019 02:21:18 UTC