[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: f3b706b2b1a47ce53de8ebfa74fd88d486143fee Merge pull request #888 from herrjemand/patch-2
  by Travis-CI
https://github.com/w3c/webauthn/commit/79b5b04650bd3935b857b38dc2eb3a063e1f1f66

Received on Wednesday, 6 June 2018 17:13:54 UTC