[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/078d0f88f1e144b1e1492450398806f74d6492fa

Received on Wednesday, 15 May 2019 10:53:45 UTC