- From: Emil Lundberg via GitHub <sysbot+gh@w3.org>
- Date: Mon, 21 Nov 2022 15:07:10 +0000
- To: public-webauthn@w3.org
The following commits were just pushed by emlun to https://github.com/w3c/webauthn: * Edit to remove redundant "the" by Evan Grim https://github.com/w3c/webauthn/commit/d012907288892214f62fffc823b4c1f6f9f52c2c * Merge pull request #1826 from egrim/patch-1 Edit to remove redundant "the" by Emil Lundberg https://github.com/w3c/webauthn/commit/028ccf809e8067ccbd3052f008128be315554bd0 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 21 November 2022 15:07:11 UTC