[webauthn] new commits pushed by rlin1

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

* applied latest change 4a376bf198f839abe123e5e32458c83d40b67f29 to this branch as well
  by rlin1
https://github.com/w3c/webauthn/commit/dab729200cc88ad48dd3a429118b61d2af74c7d9

Received on Wednesday, 4 October 2017 17:26:23 UTC