[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: dc3958c9c439a0875db4c37a7e434e5c3f9464d9 Merge pull request #767 from agl/issue749
  by Travis-CI
https://github.com/w3c/webauthn/commit/f228356ea5f24a4f077f214fc964254e802651b2

Received on Friday, 26 January 2018 23:06:59 UTC