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

I'll take the opportunity to tag this for inclusion in this PR too: https://github.com/w3c/webauthn/pull/1887#issuecomment-1591886120

I can draft the proposed change.

-- 
GitHub Notification of comment by emlun
Please view or discuss this issue at https://github.com/w3c/webauthn/pull/1906#issuecomment-1591891467 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 19:59:29 UTC