[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: ee3cf178256559fddb3b0d5880f6bd22d72f3d47 Merge pull request #1030 from w3c/issue-1019-typo
  by Travis-CI
https://github.com/w3c/webauthn/commit/2d80fd5e942a10f8a65fe507529740e7b4bd7885

Received on Wednesday, 15 August 2018 10:00:18 UTC