[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 5cc9a6ac8cd9485ea3c23b40e9d230c11cfdaaaa Merge pull request #940 from w3c/pr-900-post-merge-review
  by Travis-CI
https://github.com/w3c/webauthn/commit/95a95d9201294745d7e4513a06d87fc88d1ef5bc

Received on Monday, 11 June 2018 10:44:17 UTC