[webauthn] Merged Pull Request: Fix broken PublicKeyCredentialJSON WebIDL definition

MasterKale has just merged MasterKale's pull request 1969 for https://github.com/w3c/webauthn:

== Fix broken PublicKeyCredentialJSON WebIDL definition ==
Update the WebIDL definition of the shape of `PublicKeyCredentialJSON` based on feedback in #1958.

NOTE: I have no idea how to validate that this is actually going to fix the issue.

Fixes #1958.


<!--
    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/1969.html" title="Last updated on Sep 20, 2023, 7:01 PM UTC (8af0385)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/1969/58d60d0...8af0385.html" title="Last updated on Sep 20, 2023, 7:01 PM UTC (8af0385)">Diff</a>

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


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

Received on Wednesday, 4 October 2023 19:43:36 UTC