[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/cfd3f40ff53452b4f3614320a0e746b923cb734e

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