[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 559743229a0a6a63d445c04b92db4b1ab688b8b6 Merge pull request #1209 from w3c/issue-1194-rearrange-terminology
  by Travis-CI
https://github.com/w3c/webauthn/commit/4c7778ec28024bdc77274c117f6ca2f231af3a3c

Received on Friday, 10 May 2019 13:21:52 UTC