Re: [webauthn] Edit to remove redundant "the" (#1826)

[egrim](https://github.com/egrim) marked as non substantive for IPR from ash-nazg.

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


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

Received on Saturday, 19 November 2022 20:32:35 UTC