[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 8b0eb719f2061d6d1d7c74a36778843bce1dedeb Precisize "platform" and "device" terminology (#998)
  by Travis-CI
https://github.com/w3c/webauthn/commit/7919571c48312cc187821d50e5709506e6d92621

Received on Tuesday, 24 July 2018 22:40:40 UTC