[webauthn] new commits pushed by timcappalli

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

* remove manual Credential Options defs
  by Tim Cappalli
https://github.com/w3c/webauthn/commit/5942577fcf0e20b3e2bfaf9cc80431c5f3953d21



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

Received on Tuesday, 6 August 2024 19:01:57 UTC