[w3c/permissions] Editorial: relocate PermissionName/push definition (PR #313)

You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/permissions/pull/313

-- Commit Summary --

  * <a href="https://github.com/w3c/permissions/pull/313/commits/a53f46a85c9198ef7c88527bae43fad3c82bc9e6">Editorial: relocate PermissionName/push definition</a>

-- File Changes --

    M index.html (11)

-- Patch Links --

https://github.com/w3c/permissions/pull/313.patch
https://github.com/w3c/permissions/pull/313.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/313