[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 005ec66866c2f3329f6c780a9351df275a2b9d8a Merge pull request #995 from w3c/issue-982-disambiguate-appid-output
  by Travis-CI
https://github.com/w3c/webauthn/commit/4e9893bfbcc98839b7aa9fef07ad4f74da064a8d

Received on Wednesday, 11 July 2018 18:06:31 UTC