[webauthn] Merged Pull Request: PR #900 post-merge review changes

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

== PR #900 post-merge review changes ==
This PR is for after-the-fact review changes to PR #900 requested by @equalsJeffH in https://github.com/w3c/webauthn/pull/900#pullrequestreview-126523183 . This fixes #613.


<!--
    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/940.html" title="Last updated on Jun 7, 2018, 3:36 PM GMT (8b6b7e1)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/940/b0ca15f...8b6b7e1.html" title="Last updated on Jun 7, 2018, 3:36 PM GMT (8b6b7e1)">Diff</a>

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

Received on Monday, 11 June 2018 10:43:31 UTC