[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 0e4ed089d190ff192af469624085145b0cd6ac2a Merge pull request #1026 from w3c/docker
  by Travis-CI
https://github.com/w3c/webauthn/commit/9f24e3d071ad318e98ffbf2b7340ae713a028d1d

Received on Wednesday, 8 August 2018 10:27:02 UTC