[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 5124c6106cad3798d28b0fde634ce4de60d30c0b Merge pull request #724 from gmandyam/master4
  by Travis-CI
https://github.com/w3c/webauthn/commit/d6b988612faabf85b4d0f4c1e0af8a7a13542fcb

Received on Tuesday, 6 February 2018 22:44:11 UTC