[webauthn] Pull Request: Edit to remove redundant "the"

• From: Evan Grim via GitHub <sysbot+gh@w3.org>
• Date: Sat, 19 Nov 2022 20:30:55 +0000
• To: public-webauthn@w3.org
• Message-ID: <pull_request.opened-1128937869-1668889853-sysbot+gh@w3.org>

egrim has just submitted a new pull request for https://github.com/w3c/webauthn:

== Edit to remove redundant "the" ==
None

See https://github.com/w3c/webauthn/pull/1826


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

Received on Saturday, 19 November 2022 20:30:56 UTC