[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: ef80a25d0dd85619b5d447982bcad1192d1fb23e Merge pull request #1213 from w3c/pr-1195-fix-typo
  by Travis-CI
https://github.com/w3c/webauthn/commit/b1d5b27e7faaa3f5ec13d9c69e61871536d938e4

Received on Monday, 13 May 2019 10:17:48 UTC