[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 263fe9357f6c335b4d491605dc67d0db3bc6c712 Merge pull request #821 from gmandyam/master2
  by Travis-CI
https://github.com/w3c/webauthn/commit/dc46ca970153a20048a9c5482502e16ebff9c54a

Received on Monday, 16 April 2018 17:53:13 UTC