[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/e3649e60d7a25e58ebbf3786a6af3e4a6101848e

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