[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 96d7758f086f7b8e9b0aecde8e6f44b9b932cb86 Merge pull request #1237 from w3c/issue-1215-authorization-gesture
  by Travis-CI
https://github.com/w3c/webauthn/commit/f1eb4073a6c09a36e5e54b08ddb64dc338c787bf

Received on Wednesday, 19 June 2019 19:47:03 UTC