[webauthn] new commits pushed by rlin1

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

* updated according to comment
  by rlin1
https://github.com/w3c/webauthn/commit/523962ed089c8acbe4a689abd41d8cac604dc3c1

Received on Wednesday, 11 October 2017 18:02:07 UTC