- From: Michael B. Jones via GitHub <sysbot+gh@w3.org>
- Date: Wed, 09 Oct 2024 18:31:53 +0000
- To: public-webauthn@w3.org
The following commits were just pushed by selfissued to https://github.com/w3c/webauthn: * Drop definition "User Credential" unused since 2ec45f8b34638b0c62bb4208507bc4a76cd0ef4f by Emil Lundberg https://github.com/w3c/webauthn/commit/5887b9f253fcc738db8a5c66818bb3ad954bc84f * Merge pull request #2181 from w3c/lint-unused-def-user-credential Drop definition "User Credential" unused since PR #2109 by Michael B. Jones https://github.com/w3c/webauthn/commit/7e716a14c14eeecd3dd26b871eb713c194fc1e01 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 9 October 2024 18:31:54 UTC