[webauthn] new commits pushed by MasterKale

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

* Incorporate PR feedback
  by Matthew Miller
https://github.com/w3c/webauthn/commit/5c7ca4d9ae384ed6c0b8f61cf9c0ae11c2a59153



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

Received on Wednesday, 15 November 2023 19:35:50 UTC