[webauthn] new commits pushed by emlun

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

* Cut some unnecessary text from the new first paragraph of ยง7
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/0d515aa402b9addfdf59bdcae00387d1091abec9

Received on Monday, 13 August 2018 13:16:19 UTC