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

emlun has just submitted a new pull request 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.

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

Received on Thursday, 7 June 2018 11:30:12 UTC