[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: db05b82f794944f409117d817c038ae17871befe Re-merge PR #1165 (#1234)
  by Travis-CI
https://github.com/w3c/webauthn/commit/70e2a7ff38141963b80487bcbb17c0ef019b8f12

Received on Wednesday, 12 June 2019 19:07:23 UTC