[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: cf1022f12852750d2452bad300646b4d76332e2d Merge pull request #1095 from w3c/issue-1088-leap-of-faith
  by Travis-CI
https://github.com/w3c/webauthn/commit/c3e8194958e7ade062f7261e526e947008545e63

Received on Thursday, 2 May 2019 11:39:42 UTC