[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: ad9bd4708bc64a05b2d34403061414a288f0c99c Merge pull request #1093 from herrjemand/patch-3
  by Travis-CI
https://github.com/w3c/webauthn/commit/567a6b4f6a3c5f0617cbecd639bcf0b95e61dacd

Received on Wednesday, 9 January 2019 18:39:52 UTC