[webauthn] Pull Request: Drop definition "User Credential" unused since PR #2109

emlun has just submitted a new pull request for https://github.com/w3c/webauthn:

== Drop definition "User Credential" unused since PR #2109 ==
This `<dfn>` has been unused since PR #2109.

Fixes this Bikeshed lint:

```
LINE 1090: Unexported dfn that's not referenced locally - did you mean to export it?
<dfn bs-line-number="1090" data-dfn-type="dfn" id="user-credential" data-lt="User Credential" data-noexport="by-default" class="dfn-paneled">User Credential</dfn>
```

See https://github.com/w3c/webauthn/pull/2181


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Monday, 7 October 2024 13:54:27 UTC