- From: Marcos Cáceres <notifications@github.com>
 - Date: Mon, 20 Nov 2023 16:05:54 -0800
 - To: w3c/permissions <permissions@noreply.github.com>
 - Cc: Subscribed <subscribed@noreply.github.com>
 
Received on Tuesday, 21 November 2023 00:05:59 UTC
@marcoscaceres commented on this pull request.
> +          </section>
+          <section>
+            <h5 id="extension-module-permissions-types">
+              Types
+            </h5>
+            <section>
+              <h6 id="extension-module-type-permissions-PermissionDescriptor">
+                The permissions.PermissionDescriptor Type
+              </h6>
+              <pre class="cddl local-cddl">
+                permissions.PermissionDescriptor = {
+                  name: text,
+                }
+              </pre>
+              <p>
+                The <code>permissions.PermissionDescriptor</code> type represents a {{PermissionDescriptor}}.
```suggestion
                The `permissions.PermissionDescriptor` type represents a {{PermissionDescriptor}}.
```
-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/permissions/pull/425#pullrequestreview-1740892839
You are receiving this because you are subscribed to this thread.
Message ID: <w3c/permissions/pull/425/review/1740892839@github.com>
Received on Tuesday, 21 November 2023 00:05:59 UTC