[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: f230f33119b869140782c14c6315d9e28709ea5e Merge pull request #1440 from w3c/issue-1435-extension-io-types
  by Travis-CI
https://github.com/w3c/webauthn/commit/50fc82622b0db9a50c78ef20c1174ae124925f1e

Received on Wednesday, 1 July 2020 19:37:27 UTC