[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 976391dcba2bd7af6ea204e1a24ef8eb91713bf3 Merge pull request #1256 from nsatragno/automation
  by Travis-CI
https://github.com/w3c/webauthn/commit/e5a4fca31bd8d5e90e9698ef0cec2e9b7a7c5bb7

Received on Wednesday, 2 October 2019 19:08:48 UTC