[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 4523af2807e7ff1ab000cf89ee319c918d68df41 Merge pull request #1424 from agl/prf
  by Travis-CI
https://github.com/w3c/webauthn/commit/919d78537330461e2330140be49afc52bcde39dc

Received on Wednesday, 1 July 2020 19:09:10 UTC