[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 146d35ba3ae6a6376d58b0a008626d378684dc7f Merge pull request #1248 from w3c/issue-1247-use-cases-polish
  by Travis-CI
https://github.com/w3c/webauthn/commit/30f0f433c8f07676f3e0e731d0a45bc4469a020a

Received on Wednesday, 17 July 2019 19:16:42 UTC