[webauthn] new commits pushed by agl

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

* Fix inconsistent usage of options variable
  by Kieun
https://github.com/w3c/webauthn/commit/4800133de6cf06cb926106f35203fe5beb651598

* Merge pull request #1948 from Kieun/kieun-1947

Fix inconsistent usage of options variable
  by Adam Langley
https://github.com/w3c/webauthn/commit/baf774ade7f70efe4fb2a361e50d618e1f956ff1



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

Received on Wednesday, 20 September 2023 19:55:29 UTC