[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: b0ca15fa82e531dadaba9fc49c8c7abf141ef4d5 Merge pull request #900 from w3c/issue-613-hot-plugging-finish
  by Travis-CI
https://github.com/w3c/webauthn/commit/11cd5f79c0f6a9e0e12abf5e8bd69c47895b8ecb

Received on Wednesday, 6 June 2018 17:16:00 UTC