[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 10b27b671d42b437f0ce1bc3050f43f85a28d1db Specify extension types in listing instead of prose (#941)
  by Travis-CI
https://github.com/w3c/webauthn/commit/aa925e006b37baf0abaf01a381831ead03d5e327

Received on Wednesday, 20 June 2018 17:09:15 UTC