[webauthn] new commits pushed by rlin1

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

* manually resolved merge conflicts
  by rlin1
https://github.com/w3c/webauthn/commit/a6c5027f720711a81ab8efe9006f5c8fff85df92

Received on Wednesday, 4 October 2017 17:32:01 UTC