[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 05335d4484044dbca552f74ab52ff171ebb71b34 Merge pull request #802 from agl/issue798
  by Travis-CI
https://github.com/w3c/webauthn/commit/0ab294cacda637aa6e887cfb742c945ed4c6a285

Received on Friday, 16 February 2018 22:19:27 UTC