[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 7e5256f6f564fa99f68e45123402143450e17d5f Merge pull request #993 from w3c/resident-key-terminology-2
  by Travis-CI
https://github.com/w3c/webauthn/commit/a0dd8d50d4bfa0aee3772e0de3987cc299b760ce

Received on Thursday, 12 July 2018 09:45:13 UTC