[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 6fb9fd340c761f758bc24fed3ef4827484be9a4c Merge pull request #1217 from w3c/issue-1216-polish-client-device
  by Travis-CI
https://github.com/w3c/webauthn/commit/d65dab9dc80f194e30fa935a33421d165d0fa068

Received on Wednesday, 15 May 2019 10:54:02 UTC