[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 9fd1f030aef1d56da53bd3dbcb960d8cf3206a6f Merge pull request #1240 from w3c/bikeshed-cleanup2
  by Travis-CI
https://github.com/w3c/webauthn/commit/cf0a691e8e5d3192cd59c1c6f08b88d84f614b4e

Received on Wednesday, 26 June 2019 14:59:27 UTC