[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/702249e2a6f251d4d84769a0184e4e05d492dfae

Received on Wednesday, 27 June 2018 17:28:11 UTC