[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: d2a4543f4adabd7cafebae70d25fa0480bcc70fd Merge pull request #1254 from w3c/issue-1252-userid-length
  by Travis-CI
https://github.com/w3c/webauthn/commit/48159e008f3cf4ef3e945ee9297d09a087702543

Received on Wednesday, 10 July 2019 19:36:28 UTC