[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: f404f3a377373ad8ee8da1755b5fc06610493cc9 Merge pull request #1225 from w3c/bikeshed-cleanup
  by Travis-CI
https://github.com/w3c/webauthn/commit/f28cf38eb5449d72ed0e6f484847f71b313314c4

Received on Tuesday, 11 June 2019 10:49:55 UTC