[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: a188cb7e1b13990b060994e6c63b5f86979b962c Merging, per 27-Jun-18 working group call decision
  by Travis-CI
https://github.com/w3c/webauthn/commit/c03ddd4d0bf5576459117b3f086f414209d2de08

Received on Wednesday, 27 June 2018 17:27:56 UTC