[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: f332dfe3dc31c9c336789812a8715c9eca24c38b Merge pull request #1119 from nicksteele/patch-1
  by Travis-CI
https://github.com/w3c/webauthn/commit/745bb13a7ec3efa712d9ca6997ed503a504236c7

Received on Tuesday, 18 December 2018 12:25:16 UTC