[webauthn] new commits pushed by equalsJeffH

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

* Precisize "platform" and "device" terminology (#998)

* Add term Client Platform

* Eliminate imprecise uses of "platform"

* Correct and qualify uses of "device"

* Colocate <dfn> of Client with WebAuthn Client

* Address some review comments

See https://github.com/w3c/webauthn/pull/998#pullrequestreview-137137983

* Fix spelling mistake
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/8b0eb719f2061d6d1d7c74a36778843bce1dedeb

Received on Tuesday, 24 July 2018 22:38:49 UTC