[webauthn] Merged Pull Request: fix publickey-credentials feature identifier tag

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

== fix publickey-credentials feature identifier tag ==
deja vu! (doh!) yet another loose-end in chaging from the feature-identifier token of `webauthn` to `publickey-credentials`


<!--
    This comment and the below content is programatically 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/1301.html" title="Last updated on Sep 16, 2019, 8:20 AM UTC (0c76735)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/1301/32c216c...0c76735.html" title="Last updated on Sep 16, 2019, 8:20 AM UTC (0c76735)">Diff</a>

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

Received on Friday, 20 September 2019 01:04:18 UTC