Re: [webauthn] Merge #1887 into main (#1906)

Requesting @agl to review commit [fe4d21f6cf374c2a6d726d1e0644c10acbf3e06d](https://github.com/w3c/webauthn/pull/1906/commits/fe4d21f6cf374c2a6d726d1e0644c10acbf3e06d) in particular.

-- 
GitHub Notification of comment by emlun
Please view or discuss this issue at https://github.com/w3c/webauthn/pull/1906#issuecomment-1591899774 using your GitHub account


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

Received on Wednesday, 14 June 2023 20:06:07 UTC