[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 50ea70c73546ab2fd20ffc4ad81f522db5360e9a Merge pull request #511 from selfissued/mbj-MakeCredentialOptions-renaming
  by Travis-CI
https://github.com/w3c/webauthn/commit/3ecdb95f404f9bcdc4f1fd01eb39a0f50174ad52

Received on Friday, 28 July 2017 00:18:08 UTC