[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 831fca24174e1be656696d2f699eaedc075600f5 Merge pull request #1320 from w3c/issue-1206-cddl-ref
  by Travis-CI
https://github.com/w3c/webauthn/commit/ed30ba7539262a5416558ed67d7748a860c1f425

Received on Wednesday, 23 October 2019 19:12:38 UTC