[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 2e18951ae7065ebce09854131517d3c5bf1f19eb reverting and restoring automation section et al... (#1340)
  by Travis-CI
https://github.com/w3c/webauthn/commit/9a80ace6b24eec8040334515fd528bd3fb4d28b3

Received on Wednesday, 6 November 2019 20:09:24 UTC