[webauthn] new commits pushed by emlun

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

* Apply edits suggested in PR #1242 review

See https://github.com/w3c/webauthn/pull/1242#pullrequestreview-254659344
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/dcc510b1b97cbf7be0bbd0f34bcc6598c48ee93d

* Merge branch 'master' into issue-1247-use-cases-polish
  by JeffH
https://github.com/w3c/webauthn/commit/b194d3e10bc6a70ce520e51211271f6f897729e8

* Merge pull request #1248 from w3c/issue-1247-use-cases-polish

Apply edits suggested in PR #1242 review
  by Emil Lundberg
https://github.com/w3c/webauthn/commit/146d35ba3ae6a6376d58b0a008626d378684dc7f

Received on Wednesday, 17 July 2019 19:15:18 UTC