- From: Emil Lundberg via GitHub <sysbot+gh@w3.org>
 - Date: Wed, 10 Jan 2024 20:28:57 +0000
 - To: public-webauthn@w3.org
 
emlun has just merged emlun's pull request 2015 for https://github.com/w3c/webauthn:
== Fix Bikeshed lint ==
- Remove autolink to nonexistent term "WebAuthn credentials" 
- Delete unused term "client-side discoverable credential property"
Fixes these Bikeshed lints:
```
LINE ~8667: No 'dfn' refs found for 'webauthn credentials'.
[=WebAuthn credentials=]
```
```
LINT: Unexported dfn that's not referenced locally - did you mean to export it?
<dfn data-dfn-type="dfn" data-dfn-for="CredentialPropertiesOutput" id="credentialpropertiesoutput-client-side-discoverable-credential-property" data-lt="client-side discoverable credential property" data-noexport="by-default">client-side discoverable credential property<a href="#credentialpropertiesoutput-client-side-discoverable-credential-property" class="self-link"></a></dfn>
<dfn data-dfn-type="dfn" data-dfn-for="CredentialPropertiesOutput" id="credentialpropertiesoutput-client-side-discoverable-credential-property" data-lt="client-side discoverable credential property" data-noexport="by-default">client-side discoverable credential property<a href="#credentialpropertiesoutput-client-side-discoverable-credential-property" class="self-link"></a></dfn>
```
<!--
    This comment and the below content is programmatically generated.
    You may add a comma-separated list of anchors you'd like a
    direct link to below (e.g. #idl-serializers, #idl-sequence):
    Don't remove this comment or modify anything below this line.
    If you don't want a preview generated for this pull request,
    just replace the whole of this comment's content by "no preview"
    and remove what's below.
-->
***
<a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/pull/2015.html" title="Last updated on Jan 10, 2024, 1:36 PM UTC (3aa0247)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/2015/a83c764...3aa0247.html" title="Last updated on Jan 10, 2024, 1:36 PM UTC (3aa0247)">Diff</a>
See https://github.com/w3c/webauthn/pull/2015
-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 10 January 2024 20:29:00 UTC