[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 986d6275555e1b9cdd58dc1fcb6df306979e3e9c Don't say user handle is optional in Public Key Credential Source definition (#721)
  by Travis-CI
https://github.com/w3c/webauthn/commit/1ef97ea93430414966b5668a533db9508b6c5a3c

Received on Wednesday, 13 December 2017 18:37:35 UTC