[w3c/permissions] Meta: remove local-lt for <dfn>permission state<dfn> (PR #385) from Mike Taylor on 2022-10-18 (public-webapps-github@w3.org from October 2022)

From: Mike Taylor <notifications@github.com>
Date: Mon, 17 Oct 2022 18:50:48 -0700
To: w3c/permissions <permissions@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <w3c/permissions/pull/385@github.com>

We already have local-lt=&quot;state&quot; for https://w3c.github.io/permissions/#dfn-states, and it seems easier to understand if we explicitly use `&lt;a&gt;permission state&lt;/a&gt;`.
You can view, comment on, or merge this pull request online at:

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

-- Commit Summary --

  * Meta: remove local-lt for &lt;dfn&gt;permission state&lt;dfn&gt;

-- File Changes --

    M index.html (6)

-- Patch Links --

https://github.com/w3c/permissions/pull/385.patch
https://github.com/w3c/permissions/pull/385.diff

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/385
You are receiving this because you are subscribed to this thread.

Message ID: &lt;w3c/permissions/pull/385@github.com&gt;

Received on Tuesday, 18 October 2022 01:51:01 UTC