[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: a057572c2ca6211ec5b9d62a73df0e0363a3c300 Merge pull request #1033 from agl/issue980
  by Travis-CI
https://github.com/w3c/webauthn/commit/e005040c0ddfb8a3c0b5c54f9921b5e28458b5b1

Received on Wednesday, 15 August 2018 16:32:27 UTC