[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: c853bffa4454e0334c40fba48e3fafb5d3e8f3f2 Merge pull request #1426 from w3c/ve7jtb-fix-1401-Example-4-in1.3.3-uses-tcSimple
  by Travis-CI
https://github.com/w3c/webauthn/commit/69468adf4c46e95bbb63afbee11ab8eeedf5ed1a

Received on Wednesday, 3 June 2020 19:19:53 UTC