[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: ee934de2c8524528b5228af565eb724dc4ca952d Merge pull request #1083 from jcjones/1076-extension_marking
  by Travis-CI
https://github.com/w3c/webauthn/commit/5fee95d9a6294a0d6bb8c5aa722e16aee24bdf1f

Received on Thursday, 20 September 2018 20:02:24 UTC