[webauthn] new commits pushed by WebAuthnBot

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

* Built by Travis-CI: 96a4f1004311fe020b7d8322eaeb6cbc68831dcf Fix spec-build errors (editorial) (#1461)
  by Travis-CI
https://github.com/w3c/webauthn/commit/6c6ccf61f9253cd020db17cdc5b98676529340ff



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 19 August 2020 19:05:36 UTC