[webauthn] new commits pushed by rlin1

The following commits were just pushed by rlin1 to https://github.com/w3c/webauthn:

* more corrections according to the comments in the issue
  by rlin1
https://github.com/w3c/webauthn/commit/7a8ad456e853d9b33f924f8f18ffa526dee5ebfa

Received on Wednesday, 13 September 2017 09:47:32 UTC