[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 0ed625785d7d8c01cc43a1d3910034a0ff49141a Merge pull request #723 from agl/issue491
  by Travis-CI
https://github.com/w3c/webauthn/commit/777164194f6c3b0f0c081d3cc3e2bf5b440b1af7

Received on Friday, 5 January 2018 00:37:38 UTC